 |
|
| ||||||||||||||||||||||||||
|
|
| ||||||||||||||||||||||||||
|
|
|
|
|
| ||||||||
In mathematics, in particular category theory, given a functor p:E→C from a category E to a category C, a morphism f : X → Y in E is said to be cartesian (with respect to p) iff for each object Z of E and each morphism γ : pZ → pX in C, the function f · — : Eγ(Z, X) → Epf · γ(Z,Y) taking g to f · g is an isomorphism.
|
||||
| View Live Article | This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License | |
||
