>>16834513
Set theory, type theory, topos theory, other types of schizo category theory like cosmoi.