搜索结果: 1-1 共查到“哲学 Category Theory”相关记录1条 . 查询时间(0.109 秒)
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...