Search results
Results from the WOW.Com Content Network
Initial and terminal objects may also be characterized in terms of universal properties and adjoint functors. Let 1 be the discrete category with a single object (denoted by •), and let U : C → 1 be the unique (constant) functor to 1. Then An initial object I in C is a universal morphism from • to U.
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:
Note that because a nullary biproduct will be both terminal (a nullary product) and initial (a nullary coproduct), it will in fact be a zero object. Indeed, the term "zero object" originated in the study of preadditive categories like Ab , where the zero object is the zero group .
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 ...
Any two objects X and Y of C have a product X ×Y in C. Any two objects Y and Z of C have an exponential Z Y in C. The first two conditions can be combined to the single requirement that any finite (possibly empty) family of objects of C admit a product in C, because of the natural associativity of the categorical product and because the empty ...
Dually, a final coalgebra is a terminal object in the category of F-coalgebras. The finality provides a general framework for coinduction and corecursion. For example, using the same functor 1 + (−) as before, a coalgebra is defined as a set X together with a function f : X → (1 + X).
Sign in to your AOL account to access your email and manage your account information.
The partially ordered class of all ordinal numbers is cocomplete but not complete (since it has no terminal object). A group, considered as a category with a single object, is complete if and only if it is trivial. A nontrivial group has pullbacks and pushouts, but not products, coproducts, equalizers, coequalizers, terminal objects, or initial ...