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.
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:
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 ...
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.
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.
Given a diagram F: J → C (thought of as an object in C J), a natural transformation ψ : Δ(N) → F (which is just a morphism in the category C J) is the same thing as a cone from N to F. To see this, first note that Δ(N)(X) = N for all X implies that the components of ψ are morphisms ψ X : N → F(X), which all share the domain N.
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!
For every category C, the free strict monoidal category Σ(C) can be constructed as follows: its objects are lists (finite sequences) A 1, ..., A n of objects of C; there are arrows between two objects A 1, ..., A m and B 1, ..., B n only if m = n, and then the arrows are lists (finite sequences) of arrows f 1: A 1 → B 1, ..., f n: A n → B ...