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.) A lot of it is way beyond me, but there is much of interest. nLab in general hosts world-class work in math and logic, as well as applications of it to physics and philosophy. Remarks there about historical philosophers are uneven in quality, but a number of them are interesting, and the more mathematical or logical they are, the better the quality gets. The aforementioned draft does reference old, inadequate generalizations about Hegel as “mystical”, but the detail and scope of the interpretation into state-of-the-art mathematics are awe-inspiring. It also includes a nice formalization of Aristotelian logic, which is mathematically much simpler and relatively easy to understand. I previously found a much shorter page there that explicitly mentions Brandom, and connects with his interest in modal logic. (See also Identity, Isomorphism; Categorical “Evil”; Higher Order.)