Geodesic

Locally cartesian closed categories without chosen constructions
p. 5-17
Generalized Brown representability in homotopy categories: Erratum
p. 18-24
Frobenius objects in cartesian bicategories
p. 25-47
Abelian groupoids and non-pointed additive categories
p. 48-73
Coherence for pseudodistributive laws revisited
p. 74-84
Balanced category theory
p. 85-115
Category-theoretic models of linear Abadi and Plotkin logic
p. 116-151
Kan extensions in double categories (On weak double categories, Part III)
p. 152-185
Fundamental pushout toposes
p. 186-214
Algebraic real analysis
p. 215-306
Star-autonomous functor categories
p. 307-333
Colimits of representable algebra-valued functors
p. 334-404
Quotients of unital $A_\infty$-categories
p. 405-495
Core varieties, extensivity, and rig geometry
p. 497-503
Isbell duality
p. 504-542
Cohomology theory in 2-categories
p. 543-604
Propriétés universelles et extensions de Kan dérivées
p. 605-649
Framed bicategories and monoidal fibrations
p. 650-738