搜索结果: 1-1 共查到“古西腊罗马哲学 category theory”相关记录1条 . 查询时间(0.078 秒)
Axiomatic Method and Category Theory
axiomatic method category theory geometry logic intuition structuralism
2016/5/27
Lawvere’s axiomatization of topos theory and Voevodsky’s axiomatization of heigher homotopy theory exemplify a new way of axiomatic theory-building, which goes beyond the classical Hibert-style Axioma...