Commutative algebra, JT KNIGHT Integration and harmonic analysis on compact groups,
RE EDWARDS Elliptic functions and elliptic curves, P. DU VAL Numerical ranges II, FF …

The language of∞-categories provides an insightful new way of expressing many results in
higher-dimensional mathematics but can be challenging for the uninitiated. To explain what …

We consider a 2-monad T with rank on a complete and cocomplete 2-category, and write T-
Alg for the 2-category given the T-algebras, the morphisms preserving the structure to within …

Monoidal Topology describes an active research area that, after various past proposals on
how to axiomatize'spaces' in terms of convergence, began to emerge at the beginning of the …

We present a categorical logic formulation of induction and coinduction principles for
reasoning about inductively and coinductively defined types. Our main results provide …

Dimension three is an important test-bed for hypotheses in higher category theory and
occupies something of a unique position in the categorical landscape. At the heart of matters …

We introduce the notion of representable multicategory, which stands in the same relation to
that of monoidal category as fibration does to contravariant pseudofunctor (into C at). We …

We analyse the 2-dimensional categorical algebra underlying the process of completing
categories, or posets. The algebra explains why and how completeness of a category is …

Suppose S is the category of sets in some universe, and?? ll/is a 2-category of categories in
some universe which contains the former universe as an element. So S is an object of% at …

Fibrations over a category B, introduced to category theory by Grothendieck, encode pseudo-
functors B op⇝ Cat, while the special case of discrete fibrations encodes presheaves B op→ …