钢笔尖
发表于 2025-3-23 11:23:46
Geometric Logic and Classifying Topoi,Many mathematical structures can be axiomatized by formulas of this form (1).For instance, local rings are axiomatized by the usual equations for a commutative ring with unit, together with the axiom. which states that the ring is local; this axiom (2) is indeed of the form (1).
Nibble
发表于 2025-3-23 16:20:13
Localic Topoi, the study of such locales, motivated by the topological examples. It will turn out that a topological space is essentially determined by its lattice of open sets when that space . has the property of “sobriety”, but, beyond that point, spaces and locales diverge.
ferment
发表于 2025-3-23 18:42:36
Prologue, F. W. Lawvere in his search for an axiomatization of the category of sets and that of “variable” sets, and with Paul Cohen in the use of forcing to construct new models of Zermelo-Frwnkel set theory.
Confound
发表于 2025-3-23 22:21:14
http://reply.papertrans.cn/87/8666/866528/866528_14.png
Vaginismus
发表于 2025-3-24 04:58:45
Categories of Functors,ies can be efficiently developed. Superficially quite different categories, arising in geometry, topology, algebraic geometry, group representations, and set theory, all turn out to satisfy the axioms defining such a topos.
引起
发表于 2025-3-24 08:16:05
http://reply.papertrans.cn/87/8666/866528/866528_16.png
弯曲道理
发表于 2025-3-24 11:20:56
http://reply.papertrans.cn/87/8666/866528/866528_17.png
琐碎
发表于 2025-3-24 18:44:01
http://reply.papertrans.cn/87/8666/866528/866528_18.png
HEED
发表于 2025-3-24 22:37:31
Categorical Preliminaries,ll be familiar with these preliminaries; they should immediately start with Chapter I, referring back to these preliminaries whenever necessary. On the other hand, these preliminaries do not present sufficiently many examples and are by no means enough to constitute a proper introduction to category
dominant
发表于 2025-3-24 23:48:27
http://reply.papertrans.cn/87/8666/866528/866528_20.png