Geodesic

A Gelfand duality for continuous lattices
p. 1-20
A Model for the Higher Category of Higher Categories
p. 21-70
The category of necklaces is Reedy monoidal
p. 71-85
Pivotality, twisted centres, and the anti-double of a Hopf monad
p. 86-149
Twisted separability for adjoint functors
p. 150-167
Completion under strong homotopy cokernels
p. 168-193
Directed degeneracy maps for precubical sets
p. 194-237
Uniform locales and their constructive aspects
p. 238-267
A Quillen model structure of local homotopy equivalences
p. 268-287
Formal category theory in augmented virtual double categories
p. 288-413
Ideally Exact Categories
p. 414-425
On reachability categories, persistence, and commuting algebras of quivers
p. 426-448
Existence of groupoid models for diagrams of groupoid correspondences
p. 449-469
Semisimplicity manifesting as categorical smallness
p. 470-492
Left adjoint to precomposition in elementary doctrines
p. 493-515
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
p. 516-530
Categorical aspects of congruence distributivity
p. 531-550
Factorization systems and double categories
p. 551-592
Towards a new cohomology theory for strict Lie 2-groups
p. 593-666
Adjoint functor theorems for lax-idempotent pseudomonads
p. 667-685
The core groupoid can suffice
p. 686-706
Bicategorical traces and cotraces
p. 707-759
Closed symmetric monoidal structures on the category of graphs
p. 760-784
Free precategories as presheaf categories
p. 785-824
From Specker ℓ-groups to boolean algebras via Γ
p. 825-837
Lifting twisted coreflections against delta lenses
p. 838-877
Relative ideals in homological categories with an application to MV-algebras
p. 878-893
Indexed Grothendieck construction
p. 894-926
On domain-like objects in the category of unitary rings
p. 927-959
Pointwise Kan extensions along 2-fibrations and the 2-category of elements
p. 960-994
Weak vertical composition II: totalities
p. 995-1043
Torsion aspects of varieties of simplicial groups
p. 1044-1076
The category of extensions and idempotent completion
p. 1077-1107
Kleisli categories, T-categories and internal categories
p. 1108-1159
Some properties of internal locale morphisms externalised
p. 1160-1202
Condensation inversion and Witt equivalence via generalised orbifolds
p. 1203-1292
Categorical generalisations of quantum double models
p. 1293-1351
String diagrams for 4-categories and fibrations of mapping 4-groupoids
p. 1352-1398
The stable category of preordered groups
p. 1399-1415
Towards constructivising the Freyd-Mitchell Embedding Theorem
p. 1416-1438
Filtral pretoposes and compact Hausdorff locales
p. 1439-1475
A 2-categorical analysis of context comprehension
p. 1476-1512
From Ramsey degrees to Ramsey expansions via weak amalgamation
p. 1513-1535
Monadic functors forgetful of (dis)inhibited actions
p. 1536-1556
Comparing 2-crossed modules with Gray 3-groups
p. 1557-1595
Graded braided commutativity in Hochschild cohomology
p. 1596-1643
A coherence theorem for pseudo symmetric multifunctors
p. 1644-1678
Enriched Morita theory of monoids in a closed symmetric monoidal category
p. 1679-1697
Yoneda lemma and representation theorem for double categories
p. 1698-1782
CP^∞ and beyond: 2-categorical dilation theory
p. 1783-1811
From abelian categories to 2-abelian bicategories
p. 1812-1872
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
p. 1873-1918
A finitary adjoint functor theorem
p. 1919-1936
Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
p. 1937-1982
A topologically enriched probability monad on the Cartesian closed category of CGWH spaces
p. 1983-2012
Dagger categories via anti-involutions and positivity
p. 2013-2040
An adjunction between boolean algebras and a subcategory of Stone algebras
p. 2041-2057
Notions of enriched purity
p. 2058-2104