Декартом квадрат

Визначення

Декартом квадрат морфізм f \ colon X \ to Z і g \ colon Y \ to Z - Це межа діаграми X \ to Z \ leftarrow Y , Тобто такий об'єкт P разом з морфізм p_1, p_2 , Для якого діаграма

CategoricalPullback-03.png

коммутативна, причому з будь-якого іншого об'єкта Q , Що робить діаграму комутативної, існує єдиний морфізм u \ colon Q \ to P , Для якого

CategoricalPullback-02.png

Література

  • Р. Голдблатт топосу. Категорний аналіз логіки, - М .: Світ, 1983. - 487 с.
  • С. Маклейн Категорії для працюючого математика, - М .: Физматлит, 2004. - 352 с. - ISBN 5-9221-0400-4.