Yeah, Lawvere has attempted to formalize dialectics into category theory via the theory of adjoint modalities. Whether or not that is a full and faithful interp

Yeah, Lawvere has attempted to formalize dialectics into category theory via the theory of adjoint modalities. Whether or not that is a full and faithful interpretation of Hegel isn't something i can determine or argue but the notion leads to interesting synthetic mathematics.