Geodesic

Bicategories of spans as cartesian bicategories
p. 1-24
The Frobenius relations meet linear distributivity
p. 25-38
Joyal's arithmetic universe as list-arithmetic pretopos
p. 39-83
Monads as Extension Systems - No Iteration is Necessary
p. 84-113
On a Conjecture by J.H.Smith
p. 114-116
Topos theoretic aspects of semigroup actions
p. 117-147
Transversal homotopy theory
p. 148-178
On modified Reedy and modified projective model structures
p. 179-208
Finitely presentable morphisms in exact sequences
p. 209-220
The Hopf algebra of Möbius intervals
p. 221-265
Tensor products of sup-lattices and generalized sup-arrows
p. 266-287
Lax Presheaves and Exponentiability
p. 288-301
The span construction
p. 302-377
On *-autonomous categories of topological modules
p. 378-393
A logic for categories
p. 394-417
On the duality between trees and disks
p. 418-450
Internal profunctors and commutator theory; applications to extensions classification and categorical Galois Theory
p. 451-488
Higher Dimensional Algebra VII: Groupoidification
p. 489-553
Hopf monoidal comonads
p. 554-563
Strictification of categories weakly enriched in symmetric monoidal categories
p. 564-579
A unified framework for generalized multicategories
p. 580-655