https://brinkley.blog/2020/01/04/categorical-hegel/
« I just discovered a book-length nLab web draft with extremely detailed interpretation of Hegel’s Science of Logic into higher category theory and homotopy type theory. (Reading category theory into Hegel was originally suggested by William Lawvere in the 1960s.) »
HoTT science internelle 