A "working mathematician's" definition of semi-abelian categories
A *-Autonomous Category of Banach Spaces--Correction
A 2-Categorical Analysis of the Tripos-to-Topos Construction
A 2-categories companion
A bialgebra axiom and the Dold-Kan correspondence
A cartesian presentation of weak n-categories
A Categorical Construction of Ultrafilters
A category of quantum categories
A characterization of long exact sequences coming from the snake lemma
A characterization of representable intervals
A characterization of the category Q-TOP
A characterization theorem for geometric logic
A Coboundary Morphism For The Grothendieck Spectral Sequence
A construction of 2-cofiltered bilimits of topoi
A construction of 2-filtered bicolimits of categories
A construction of quotient A_infinity-categories
A construction of relatively pure submodules
A construction of semisimple tensor categories
A convenient category for directed homotopy
A Cubical Set Approach to 2-Bundles with Connection and Wilson Surfaces