The slice over has morphisms as objects and commuting triangles as arrows . Its terminal object is , regardless of whether has a terminal object. It is the comma category , viewing as a functor from the terminal category.
A natural transformation assigns a set of points over every element . These fibers form a functor on the category of elements of . Conversely, a functor on the category of elements gives as the disjoint union of its values over all . The two constructions are inverse up to natural isomorphism. Smallness of makes the category of elements small and allows this description to transfer Cartesian closure to every slice.
If a category has pullbacks in a category, each slice category is finitely complete. The identity of the base object is terminal in the slice. Ambient pullbacks in a category inherit a unique common structure map to the base and satisfy the same universal property over that base. A terminal object and pullbacks in a category construct finite products in a category and equalizers, hence all finite limits.
If preserves small categorical limits, the projection creates the small categorical limits available in . A categorical cone of arrows induces a unique arrow by preservation; this equips the underlying categorical limit with its comma category structure. The universal property proves that every categorical cone factorization preserves that structure.
For , the left-adjoint solution-set condition requires a weakly initial set in every . Equivalently, there is a set of arrows through which every factors as . The dual right-adjoint condition asks for weakly terminal solution sets in .
A universal arrow from to is an initial object of . The functor has a left adjoint exactly when such a universal arrow exists for every ; the universal property makes the chosen objects functorial.
For , the comma category is the category of elements: an object is with . Its initial objects are exactly the representations of .
The category of elements of a set-valued functor has pairs as objects and arrows whose functorial action carries one distinguished element to the other. Its projection to the indexing category is a discrete opfibration or fibration according to variance.
For a set-valued covariant functor on a small category, the Yoneda lemma sends the element to the transformation . These transformations form a cocone indexed by the opposite category of elements. At , send the representative to . It is surjective using ; two representatives of are identified through that same object of the category of elements. This proves the displayed presentation pointwise.
Articles by others on the same topic
The term "comma category" isn't a widely recognized or standard term, so its meaning might depend on the context in which it's used. However, it may refer to several possible interpretations in different disciplines: 1. **Linguistics and Grammar**: In discussions about language and punctuation, the "comma category" could pertain to the different functions or types of commas. For example, commas can separate items in a list, set off non-essential information, or separate clauses.