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&#x27;t something i can determine or argue but the notion leads to interesting synthetic mathematics.