semantics categorical abstract machine came later certain categories called topoi singular ''topos'' even serve alternative axiomatic set theory foundation mathematics topos also considered specific type category two additional topos axioms foundational applications category theory worked fair detail basis justification constructive mathematics topos theory form abstract sheaf theory geometric origins leads ideas pointless topology categorical logic well defined field based type theory intuitionistic logics
Formal science Mathematics Pure mathematics Algebra Category theory