Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 9, 2018

• Finalize.

  

  fg (tp)

  committed
  0ea702e

  Copy full SHA for 0ea702e

Commits on Oct 8, 2018

• Revise ch05.

  

  fg (tp)

  committed
  c3e5d0e

  Copy full SHA for c3e5d0e

Commits on Oct 7, 2018

• Revise ch04.

  

  fg (tp)

  committed
  876af84

  Copy full SHA for 876af84

Commits on Oct 6, 2018

• Revise ch02.

  

  fg (tp)

  committed
  1ea39a0

  Copy full SHA for 1ea39a0

• Add comments on nerve and weak constructibility for simplicial sets.

  

  fg (tp)

  committed
  2c2584a

  Copy full SHA for 2c2584a

Commits on Oct 5, 2018

• Finish coreflector for simplicially constant sheaves.

  

  fg (tp)

  committed
  11ad5d3

  Copy full SHA for 11ad5d3

• Explain coreflector for simplicially constant sheaves on sEns.

  

  fg (tp)

  committed
  69433b8

  Copy full SHA for 69433b8

Commits on Oct 4, 2018

• Comments on diagram realization for simplicially constant sheaves.

  

  fg (tp)

  committed
  d19e592

  Copy full SHA for d19e592

Commits on Oct 3, 2018

• Simplicially constant sheaves as diagrams.

  

  fg (tp)

  committed
  46e02fc

  Copy full SHA for 46e02fc

• 2-limits.

  

  fg (tp)

  committed
  3879f8b

  Copy full SHA for 3879f8b

Commits on Oct 2, 2018

• Add finite left exactness of realization.

  

  fg (tp)

  committed
  f064804

  Copy full SHA for f064804

Commits on Sep 26, 2018

• Add relative versions.

  

  fg (tp)

  committed
  5500821

  Copy full SHA for 5500821

Commits on Sep 17, 2018

• Special cases for covariant realization.

  

  fg (tp)

  committed
  7b9bf70

  Copy full SHA for 7b9bf70

• Subdivision category and mixed realization.

  faabian

  committed
  551d028

  Copy full SHA for 551d028

Commits on Sep 14, 2018

• Start general wCons equivalence.

  

  fg (tp)

  committed
  c65674d

  Copy full SHA for c65674d

Commits on Sep 13, 2018

• Incorporate changes for realization paradigm with generizing maps.

  

  fg (tp)

  committed
  0836494

  Copy full SHA for 0836494

Commits on Jul 30, 2018

• Continue proofs for beta-acyclic version of wCons equivalence theorem.

  

  fg (tp)

  committed
  d953593

  Copy full SHA for d953593

• Work on acyclic version of ch02 main thm.

  

  fg (tp)

  committed
  4178ec2

  Copy full SHA for 4178ec2

Commits on Jul 29, 2018

• Change to book document class.

  

  fg (tp)

  committed
  b0835f3

  Copy full SHA for b0835f3

Commits on Jul 27, 2018

• Refine proof for general product sheaf equivalence.

  

  fg (tp)

  committed
  35321ac

  Copy full SHA for 35321ac

• Work on last proof on ch02.

  

  fg (tp)

  committed
  8315b96

  Copy full SHA for 8315b96

Commits on Jul 26, 2018

• Add proof for unbounded case (correct??).

  

  fg (tp)

  committed
  9c46727

  Copy full SHA for 9c46727

Commits on Jul 25, 2018

• Additions to ch02 and beginning of relative version.

  

  fg (tp)

  committed
  25230f3

  Copy full SHA for 25230f3

Commits on Jul 24, 2018

• Last proofs and reformatting for ch02 before extension.

  

  fg (tp)

  committed
  f473a33

  Copy full SHA for f473a33

• Finish wCons proof.

  Show description for e255eea
  

  fg (tp)

  committed
  e255eea

  Copy full SHA for e255eea

Commits on Jul 23, 2018

• Continue wCons proof.

  

  fg (tp)

  committed
  611a03c

  Copy full SHA for 611a03c

Commits on Jul 22, 2018

• Add (wrong) finished proof for wCons theorem.

  

  fg (tp)

  committed
  06918c7

  Copy full SHA for 06918c7

Commits on Jul 20, 2018

• Continue big wCons proof.

  

  fg (tp)

  committed
  6186701

  Copy full SHA for 6186701

• 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 10, 2018

• Minor changes ch02.

  

  Fabian Glöckle

  committed
  5ced9d2

  Copy full SHA for 5ced9d2

Commits on Jul 9, 2018

• Add geometric realization and beta-acyclicity to ch02.

  

  Fabian Glöckle

  committed
  ac17c0c

  Copy full SHA for ac17c0c

• Continue ch02.

  

  Fabian Glöckle

  committed
  03b44be

  Copy full SHA for 03b44be

Commits on Jul 5, 2018

• Start chapter 2; header file.

  

  Fabian Glöckle

  committed
  722929b

  Copy full SHA for 722929b

Loading