Cartesian morphism
Cartesian morphism In mathematics, in particular in category theory ... category E to a category B, a morphism f : X → Y in E is cartesian (with respect to p) when for each object Z of E and each morphism γ : pZ → pX in B, ...
http://en.wikipedia.org/wiki/Cartesian_morphism - 1k - Cached - Similar pages

Talk:Cartesian morphism
Talk:Cartesian morphism I have read some other definition. Might ...
http://en.wikipedia.org/wiki/Talk:Cartesian_morphism - 0k - Cached - Similar pages

Cartesian closed category
Cartesian closed category In category theory, a category is cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These ... category. Definition The category C is called cartesian closed iff it satisfies the following ...
http://en.wikipedia.org/wiki/Cartesian_closed_category - 11k - Cached - Similar pages

Comma category
... in the codomain category, and every domain morphism to the identity morphism of that fixed object. Often, the choice ... T(\alpha)\rightarrow S(\beta) a morphism in $\backslash mathcal\{C\}$. The morphisms ... math>g is just the identity morphism on $A$. The following must ... and $(B\text{'},\; \backslash pi\_\{B\text{'}\})$, a morphism in the comma category is a ...
http://en.wikipedia.org/wiki/Comma_category - 21k - Cached - Similar pages

Category (mathematics)
... a class hom(C) of morphisms. Each morphism f has a unique source object a ... b, and we say "f is a morphism from a to b". We write hom ... for every object x, there exists a morphism 1 x : x → x called the identity morphism for x, such that for every morphism f : a → b, we have ...
http://en.wikipedia.org/wiki/Category_(mathematics) - 17k - Cached - Similar pages

Category theory
... object of another category; and to every morphism in the first category a morphism in the second. By studying categories and ... theory, all in a setting of a cartesian closed category as non-syntactic description of ... Categories, objects, and morphisms Main articles: category, morphism A category C consists of a class ... a class hom(C) of morphisms. Each morphism f has a unique source object ...
http://en.wikipedia.org/wiki/Category_theory - 32k - Cached - Similar pages

Enriched category
... of C, let id A be a morphism in M from I to Hom(A ... M. Then id A is the identity morphism of A. For each triple (A,B ... objects of C, let � be a morphism in M from Hom(B,C) ⊗ ... in M. Then � is the composition morphism of A, B, and C. We require ... be a category of sets, with the Cartesian product for the monoidal operation. Then ...
http://en.wikipedia.org/wiki/Enriched_category - 6k - Cached - Similar pages

Exponential object
... finite products and exponential objects are called cartesian closed categories Definition Let C be a ... Y can be defined as a universal morphism from the functor –�Y to Z. (The ... An object Z Y , together with a morphism $\backslash mathrm\{eval\}\backslash colon\; (Z^Y\; \backslash times\; ...\; object\; if\; for\; any\; object\; X\; and$morphism g : (X�Y) → Z there is a unique morphism $\backslash lambda\; g\backslash colon\; X\backslash to\; ...$
http://en.wikipedia.org/wiki/Exponential_object - 4k - Cached - Similar pages

Talk:Relation (mathematics)
... relation is just a subset of a cartesian product. What I did realize is that ... A relation is a subset of the Cartesian product of one or more domains" is ... to remark that a subset of the cartesian product of A and B implements a ... where G is a subset of the cartesian product of A and B. Further, the ... objects: the relations are naturally organized into morphism classes between pairs of objects, and ...
http://en.wikipedia.org/wiki/Talk:Relation_(mathematics) - 177k - Cached - Similar pages

Equivalence of categories
... C and D, assigning each object and morphism to itself. If F and G are ... a single object c and a single morphism 1 c , and the category D with ... with a single object and a single morphism is not equivalent to the category E ... c -> c. Let 1 be the identity morphism on c and set f o f ... object, or zero object) of D the morphism α in C is a monomorphism ( ...
http://en.wikipedia.org/wiki/Equivalence_of_categories - 18k - Cached - Similar pages