Search results
Results from the WOW.Com Content Network
For example, the initial object in any concrete category with free objects will be the free object generated by the empty set (since the free functor, being left adjoint to the forgetful functor to Set, preserves colimits). Initial and terminal objects may also be characterized in terms of universal properties and adjoint functors.
Universal constructions are functorial in nature: if one can carry out the construction for every object in a category C then one obtains a functor on C. Furthermore, this functor is a right or left adjoint to the functor U used in the definition of the universal property. [2] Universal properties occur everywhere in mathematics.
If A is an object of C, then the functor from C to Set that sends X to Hom C (X,A) (the set of morphisms in C from X to A) is an example of such a functor. If C is a small category (i.e. the collection of its objects forms a set), then the contravariant functors from C to Set, together with natural transformations as morphisms, form a new ...
Essentially, we create a category whose objects are cones, and where the limiting cone is a terminal object; then, each universal morphism for the limit is just the morphism to the terminal object. This works in the dual case, with a category of cocones having an initial object.
However, LH does not have a terminal object, and thus is not Cartesian closed. If C has pullbacks and for every arrow p : X → Y, the functor p * : C/Y → C/X given by taking pullbacks has a right adjoint, then C is locally Cartesian closed. If C is locally Cartesian closed, then all of its slice categories C/X are also locally Cartesian closed.
A monoid object in [C, C] is a monad on C. For any category with a terminal object and finite products, every object becomes a comonoid object via the diagonal morphism Δ X : X → X × X. Dually in a category with an initial object and finite coproducts every object becomes a monoid object via id X ⊔ id X : X ⊔ X → X.
Each category is distinguished by properties that all its objects have in common, such as the empty set or the product of two topologies, yet in the definition of a category, objects are considered atomic, i.e., we do not know whether an object A is a set, a topology, or any other abstract concept. Hence, the challenge is to define special ...
In the mathematical discipline of category theory, a strict initial object is an initial object 0 of a category C with the property that every morphism in C with codomain 0 is an isomorphism. In a Cartesian closed category, every initial object is strict. [1] Also, if C is a distributive or extensive category, then the initial object 0 of C is ...