Since then, Lawvere has been proposing, more or less explicitly, that at least some key parts of Hegel’s Logic, notably his concepts of unity of opposites, of Aufhebung (sublation) and of abstract general, concrete general and concrete particular as well as the concepts of objective logic and subjective logic as such have an accurate, useful and interesting formalization in categorical logic.
Lawvere also proposed formalizations in category theory and topos theory of various terms appearing prominently in Hegel’s Philosophy of Nature, such as the concept of intensive or extensive quantity and of cohesion.
Lawvere also proposed formalizations in category theory and topos theory of various terms appearing prominently in Hegel’s Philosophy of Nature, such as the concept of intensive or extensive quantity and of cohesion.