Commits

Branch selector

 master

User selector

faabian

Datepicker

All time

Commit History

Commits on Oct 6, 2018

• Revise last section of ch03.

  faabian

  committed
  99675ea

  Copy full SHA for 99675ea

• Manual merge of ch03 edits.

  faabian

  committed
  1817953

  Copy full SHA for 1817953

• Revise ch03.

  faabian

  committed
  b17b00d

  Copy full SHA for b17b00d

Commits on Sep 30, 2018

• Add representable presheaf note.

  faabian

  committed
  21c5757

  Copy full SHA for 21c5757

Commits on Sep 29, 2018

• Equalizers for Ens/Top.

  faabian

  committed
  ea7f36b

  Copy full SHA for ea7f36b

Commits on Sep 17, 2018

• Subdivision category and mixed realization.

  faabian

  committed
  551d028

  Copy full SHA for 551d028

Commits on Sep 16, 2018

• Coends as colimits for subdivision category.

  faabian

  committed
  e1d0456

  Copy full SHA for e1d0456

• (Co-) completeness of Ens/Top.

  faabian

  committed
  e9b2a29

  Copy full SHA for e9b2a29

Commits on Sep 10, 2018

• Manual merge (incorporate improvements of internal hom proof).

  faabian

  committed
  250b476

  Copy full SHA for 250b476

• Improve proof for internal hom in Ens/X.

  faabian

  committed
  6a1fdde

  Copy full SHA for 6a1fdde

Commits on Aug 25, 2018

• Copowers and general nerve-realization.

  faabian

  committed
  e1ad89d

  Copy full SHA for e1ad89d

Commits on Aug 24, 2018

• Add ref to Lore.

  faabian

  committed
  4348af6

  Copy full SHA for 4348af6

• Coend version of sSet nerve duality.

  faabian

  committed
  3a35a85

  Copy full SHA for 3a35a85

Commits on Aug 23, 2018

• Singular chains and beginnings of coend calculus.

  faabian

  committed
  4aa4426

  Copy full SHA for 4aa4426

Commits on Jul 24, 2018

• Merge branch 'master' of https://github.com/faabian/simp-sheaves

  Show description for 650fd34
  faabian

  committed
  650fd34

  Copy full SHA for 650fd34

• Add proof for fiberwise constant sheaves.

  faabian

  committed
  f4a3564

  Copy full SHA for f4a3564

Commits on Jul 20, 2018

• Continue wCons proof.

  faabian

  committed
  2c17edc

  Copy full SHA for 2c17edc

Commits on Jul 19, 2018

• Continue proof characterising wCons.

  faabian

  committed
  7fb8d3f

  Copy full SHA for 7fb8d3f

Commits on Jul 9, 2018

• Changes to scratch proof.

  faabian

  committed
  f0ba625

  Copy full SHA for f0ba625

Commits on Jul 8, 2018

• Add notes for proof of main thm., ch02.

  faabian

  committed
  d36183c

  Copy full SHA for d36183c

Commits on Jun 28, 2018

• Add beginning of last chapter.

  faabian

  committed
  f843bc8

  Copy full SHA for f843bc8

Commits on Jun 26, 2018

• Initial commit

  faabian

  authored
  267358d

  Copy full SHA for 267358d