A derivability criterion based on the existence of adjunctions
A diagrammatic approach to Hopf monads
A duality Hopf algebra for holomorphic N=1 special geometries
A Duality of Quantale-Enriched Categories
A folk model structure on omega-cat
A Full and faithful Nerve for 2-categories
A general theory of self-similarity
A generalization of Gabriel's Galois covering functors II: 2-categorical Cohen-Montgomery duality
A generalization of The Dress construction for a Tambara functor, and polynomial Tambara functors
A Guided Tour in the Topos of Graphs
A Hall-Fusion Bialgebra
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