补充资料：Descartes正方形

Descartes正方形
Cartesian square

D留Ca啪es正方形【C红tesian叫朋别限;两跳叩r二，八-p盯卜冬俘平方形(co-一aisq~)，热卿平才攀(Pull一h汉ksqu剐吧)，在范畴中的 图 内 An声*A P刀志志a B*5. 口此处Afl、B(有时也用记号Ax、B)是对象A与B的纤维积，它与 A 毒a B竹S 月相关联，而几与p，都是典范射影.图 占 P月A Y工毒a B、S 刀是一个D留口n留正方形当且仅当它是可交换的，且对任何一对态射厂V~A，，:V~B当:户二刀v时必有唯一的态射无V~P，满足条件拜=占又，，=以.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。