Geodesic

CT2004

Predicative algebraic set theory
p. 1-39
Reflective Kleisli subcategories of the category of Eilenberg-Moore algebras for factorization monads
p. 40-65
Model structures for homotopy of internal categories
p. 66-94
The shape of a category up to directed homotopy
p. 95-146
Algebraic models of intuitionistic theories of sets and classes
p. 147-163
Generic commutative separable algebras and cospans of graphs
p. 164-177
A Galois theory with stable units for simplicial sets
p. 178-193