nLab
2-category theory - contents

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |
Revised on April 2, 2011 08:11:01 by Urs Schreiber (89.204.153.121)
Edit | Back in time (3 revisions) | See changes | History | Views: Print | TeX | Source | Included from: adjunction, 2-morphism, double category, bicategory, monad, Kan extension, span, strict 2-category, virtual double category, Gray tensor product, 2-category, two-variable adjunction, adjunct, pseudofunctor, eso morphism, fully faithful morphism, 2-limit, strict 2-limit, comma object, distributive law, idempotent monad, (2,1)-category, hom-category, Kan lift, lax natural transformation, modification, triangle identities, fibration in a 2-category, adjoint equivalence, lax functor, strong monad, Eilenberg-Moore category, Kleisli category, 2-category equipped with proarrows, icon, 2-functor, cartesian bicategory, 2-pullback, Yoneda lemma for bicategories, braided monoidal 2-category, Prof, cartesian object, bicategory of relations, framed bicategory, canonical model structure on Cat, companion pair, whiskering, virtual equipment, 2-topos, 2Cat, monoidal bicategory, module over a monad, pseudoalgebra for a 2-monad, lax-idempotent 2-monad, vertical composition, associator, unitor, codiscrete cofibration, mate, factorization system in a 2-category, discrete morphism, faithful morphism, conservative morphism, pseudomonic morphism, 2-category theory, doctrinal adjunction, pseudonatural transformation, 2-site, 2-sheaf, adjoint monad, horizontal composition, unit of an adjunction, (2,1)-presheaf, strict 2-equivalence of 2-categories, biadjunction, inverter, Kleisli object, equivalence of 2-categories, Hopf adjunction, slice 2-category, 2-topos theory, vDbl, equifier, inserter, PIE-limit, two-sided fibration, isoinserter, (2,1)-sheaf, 2-adjunction, enriched bicategory, natural equivalence, full sub-2-category, locally full sub-2-category, F-category, locally fully faithful 2-functor, (infinity,2)-site, contents of contents, bicategorical trace, lax morphism, flexible limit, rigged limit, 2-presheaf, monad with arities, 2-trivial model structure, reflective sub-2-category, StreetCBS, 2-Giraud theorem, exact 2-category, regular 2-category, coherent 2-category, 2-pretopos, extensive 2-category, 2-congruence, coherence theorem for bicategories with finite limits, sylleptic monoidal 2-category, core in a 2-category, n-congruence, n-localic 2-topos, monoidal (2,1)-category, Drinfeld center