A categorification of the concept of -category to -categories is the concept of -category. (There are other possible categorifications, such as locally -enriched -categories, or locally -enriched -categories.) In particular, every -category is an -category with only identity -morphisms, and an -category becomes an -category upon forgetting its nonidentity -cells.
Let be the category whose objects are injections (monomorphisms in the category of sets) and whose morphisms are commutative squares. is a reflective subcategory of the arrow category , where the reflector preserves products; as a result, is complete, cocomplete cartesian closed category. (In fact, is a Grothendieck quasitopos, as discussed here.)
In more detail, an -category consists of the following data:
for each pair of objects, a subset of of tight morphisms;
for each object , a tight identity morphism ; and
Note that the “underlying ordinary category” of an -category, in the usual sense that that phrase is used in enriched category theory, is its category of tight morphisms. This is because the underlying ordinary category is induced by a monoidal change-of-base functor represented by the monoidal unit , where we have
Nevertheless, it is frequently also useful to think of the category of loose morphisms as a sort of “underlying ordinary category” of an -category. This is effected by the monoidal change-of-base functor , where we have
A more interesting way to make Hilbert spaces into an -category Hilb uses (as in the -category ) all bounded linear operators as loose morphisms but only short linear operators (those with norm at most ) as tight morphisms. This gives the same tight isomorphisms as the -category (but also has non-invertible tight morphisms).
Similarly, Ban (the category of Banach spaces) is an -category with all bounded linear operators as loose morphisms but only short linear operators as tight morphisms. In functional analysis, a loose isomorphism in is traditionally called an ‘isomorphism’ while a tight isomorphism is called a ‘global isometry’.
We can make Met (the category of metric spaces) into an -category is several ways, with short maps contained in Lipschitz maps contained in uniformly continuous maps contained in continuous maps; we can also take Lipschitz maps contained in bounded maps. (For linear operators between Banach spaces, the continuous and bounded operators are the same and are already Lipschitz.)
Any strict category is an -category with equalities as the tight morphisms. (Thus the wide subcategory of tight morphisms is skeletal.) In particular, the category of sets (or any category) in material set theory is an -category.
Given any category and object of , the subobjects of form an -category whose category of loose morphisms is the full subcategory of on the subobjects of and whose category of tight morphisms is the subobject poset of .
Similarly, quotient objects form an -category.
itself is an -category whose objects are sets equipped with a specified subset, whose tight morphisms are functions which map the subset into each other, and whose loose morphisms are arbitrary functions.
Given any faithful functor , we may make into an -category whose tight morphisms are the original morphisms of and whose loose morphisms from to are the -morphisms from to . This includes all of the examples above; up to equivalence, this includes all examples.
Let be a strict 2-monad on a strict 2-category. Then the strict -algebras form an -category where tight morphisms are the strict algebra morphisms and the loose morphisms are the pseudo algebra morphsims. This is just a decategorified version of the -category of -algebras, which also includes the 2-cells between algebras.
More generally, any strict -category can be made into an -category by forgetting the non-identity 2-cells.
Any -category whose tight morphisms form a preorder can be made into a strict category in a canonical way: declare two objects to be equal if they are tightly isomorphic. This is an unusual sort of strict category in that its “equality predicate” on objects may not be literal equality (even in a foundational system where the latter makes sense). Many strict categories that arise in practice underlie -categories, such as the category of sets in material set theory.
Note that two equivalent -categories with posetal tight categories (in the usual sense of equivalence for enriched categories) have isomorphic underlying strict categories (in the appropriate sense, i.e. making use of the stipulated equality predicate on objects to define “isomorphism”). In this way, some examples which may seem on the surface to be evil, by referring to an isomorphism of categories, can alternatively be described non-evilly by recognizing the presence of a neglected -enrichment.
For instance, let be the Galois group of a finite Galois extension . Then there is an -category whose objects are intermediate fields , whose loose maps are arbitrary field homomorphisms that fix pointwise, and whose tight maps are those which commute with the inclusions into . There is also an -category whose objects are orbits , whose loose maps are arbitrary maps of -sets, and whose tight maps are those which commute with the quotient maps from . The fundamental theorem of classical Galois theory says that these two -categories are equivalent as -categories.
This is a stronger statement than saying that their underlying strict categories, as above, are isomorphic, which is yet stronger than saying that their underlying categories of loose maps are equivalent. See this post by Peter May.
-categories are mentioned as -categories (thinking of as the category of subset inclusions) in