Chronological
发表于 2025-3-26 21:05:18
http://reply.papertrans.cn/23/2226/222541/222541_31.png
hermetic
发表于 2025-3-27 02:57:15
Karin Bruckmüller,Ulrich Schrothn a set-theoretical basis in the next section. Hence for this section a category will not be described by sets (of objects and of arrows) and functions (domain, codomain, composition) but by axioms as in § I.1.
昏睡中
发表于 2025-3-27 08:52:42
http://reply.papertrans.cn/23/2226/222541/222541_33.png
MOT
发表于 2025-3-27 10:28:22
http://reply.papertrans.cn/23/2226/222541/222541_34.png
Amnesty
发表于 2025-3-27 15:38:57
http://reply.papertrans.cn/23/2226/222541/222541_35.png
concise
发表于 2025-3-27 21:36:36
Organic Opals: Properties and Applicationse abelian groups and composition is bilinear), all finite limits and colimits exist, and these limits — especially kernel and cokernel — are well behaved. This leads to a set of axioms describing an “abelian” category. The axioms suffice to prove all the facts about commuting diagrams and connecting
撤退
发表于 2025-3-27 22:22:27
http://reply.papertrans.cn/23/2226/222541/222541_37.png
Glower
发表于 2025-3-28 04:18:07
Hans van Ditmarsch,Barteld Kooiprincipal result for these categories was a “coherence” theorem: If a certain pentagonal diagram (§VII.1.5) in . commutes, then all diagrams involving this . must commute. We now consider various extensions of this result.
Glucocorticoids
发表于 2025-3-28 06:47:03
http://reply.papertrans.cn/23/2226/222541/222541_39.png
vascular
发表于 2025-3-28 13:31:26
http://reply.papertrans.cn/23/2226/222541/222541_40.png