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.
Examples of limits and colimits in Ring include: The ring of integers Z is an initial object in Ring. The zero ring is a terminal object in Ring. The product in Ring is given by the direct product of rings. This is just the cartesian product of the underlying sets with addition and multiplication defined component-wise.
Let C be a category with finite products and a terminal object 1. A list object over an object A of C is: an object L A, a morphism o A : 1 → L A, and; a morphism s A : A × L A → L A; such that for any object B of C with maps b : 1 → B and t : A × B → B, there exists a unique f : L A → B such that the following diagram commutes:
Examples of limits and colimits in Top include: The empty set (considered as a topological space) is the initial object of Top; any singleton topological space is a terminal object. There are thus no zero objects in Top. The product in Top is given by the product topology on the Cartesian product.
That is, a category C is complete if every diagram F : J → C (where J is small) has a limit in C. Dually, a cocomplete category is one in which all small colimits exist. A bicomplete category is a category which is both complete and cocomplete. The existence of all limits (even when J is a proper class) is too strong to be practically relevant.
Then the above free–forgetful adjunction involving the Eilenberg–Moore category is a terminal object in (,). An initial object is the Kleisli category , which is by definition the full subcategory of C T {\displaystyle C^{T}} consisting only of free T -algebras, i.e., T -algebras of the form T ( x ) {\displaystyle T(x)} for some object x of C .
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
A groupoid object in the category of sets is precisely a groupoid in the usual sense: a category in which every morphism is an isomorphism.Indeed, given such a category C, take U to be the set of all objects in C, R the set of all morphisms in C, the five morphisms given by () =, =, (,) =, () = and () =.