Math-Ct
Lattices of theories
Lawvere completion and separation via closure
On two-Dimensional Holonomy
Physics, Topology, Logic and Computation: A Rosetta Stone
Relative Zariski Open Objects
Some remarks on groupoids and small categories
The Lusternik-Schnirelmann category of a Lie groupoid
Translation Groupoids and Orbifold Bredon Cohomology
Two-dimensional models of type theory
n-Relative Categories
A four for the price of one duality principle for distributive spaces
Polynomial functors and polynomial monads
Envelopes of commutative rings
On monoidal functors between (braided) Gr-categories
Left determined model structures for locally presentable categories
Borel and Continuous Systems of Measures
Homotopical equivalence of combinatorial and categorical semantics of process algebra
Homotopy equivalence of isospectral graphs
Nonassociative Riemannian Geometry by Twisting
Universal models and definability
Length 3 Complexes of Abelian Sheaves and Picard 2-Stacks
Symmetric bimonoidal intermuting categories and $omegatimesomega$ reduced bar constructions
