A homotopy approach to set theory
A homotopy colimit theorem for diagrams of braided monoidal categories
A homotopy theory for enrichment in simplicial modules
A homotopy-theoretic universal property of Leinster's operad for weak omega-categories
A Kleisli-based approach to lax algebras
A language for multiplicative-additive linear logic
A logic for categories
A Logic of Injectivity
A model category structure on the category of simplicial multicategories
A model structure on the category of small categories for coverings
A monoidal structure on the category of relative Hopf modules
A non-commutative generalization of Stone duality
A noncommutative theory of Penrose tilings
A note on cohomological localization
A note on compactly generated co-t-structures
A Note on Surjective Inverse Systems
A note on the "Smith is Huq" condition
A note on the composition product of symmetric sequences
A Note on the Grothendieck Group of an Additive Category
A note on the Penon definition of $n$-category