Active Bibliography

6 An Australian conspectus of higher categories – Ross Street - 2004
14 CAUCHY CHARACTERIZATION OF ENRICHED CATEGORIES – Ross Street - 2004
Reprints in Theory and Applications of Categories, No. 4, 2004, pp. 1–16. CAUCHY CHARACTERIZATION OF ENRICHED CATEGORIES – Ross Street
1 Logical Construction of Final Coalgebras – Luigi Santocanale - 2003
1 THE COMPREHENSIVE FACTORIZATION AND TORSORS – Ross Street, Dominic Verity - 2010
1 On The Size Of Categories – Peter Freyd, Ross Street, Transmitted Michael Barr, Work S - 1995
7 Familial 2-functors and parametric right adjoints – Mark Weber
TIGHTLY BOUNDED COMPLETIONS – Marta Bunge
12 On ∞-topoi – Jacob Lurie - 2003
47 Higher topos theory – Jacob Lurie - 2006
4 A 2-categories companion – Stephen Lack
33 Representable Multicategories – Claudio Hermida - 2000
13 Pasting Diagrams in n-Categories with Applications to Coherence Theorems and Categories of Paths – Michael Johnson - 1987
24 Higher dimensional algebra V: 2-groups – John C. Baez, Aaron D. Lauda
7 Maps II: Chasing Diagrams in Categorical Proof Theory – Dusko Pavlovic, Jim Lambek - 1996
4 Categorical Logic Of Concurrency And Interaction. I: Synchronous Processes – Dusko Pavlovic, Du Sko Pavlovi C - 1995
2 Galois Groupoids and Covering Morphisms in Topos Theory – Marta Bunge
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – Manuel Clementino, Robert Dawson, Steve Lack, Tom Leinster, Francisco Marmolejo, Craig Pastro, Mark Weber, G. Max Kelly - 2005
13 Exact Completions and Toposes – Matias Menni - 2000