Namespaces
Variants
Actions

Cartesian square

From Encyclopedia of Mathematics
Revision as of 17:06, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

co-universal square, pull-back square, in a category

The diagram

Here (the notation is also used) is the fibred product of the objects and , which is associated with

and and are the canonical projections. The diagram

is a Cartesian square if and only if it is commutative and if for any pair of morphisms , such that there exists a unique morphism which satisfies the conditions , .

References

[1] I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968)
How to Cite This Entry:
Cartesian square. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cartesian_square&oldid=44389
This article was adapted from an original article by O.A. Ivanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article