we're secretly doing real analysis in algebraic number theory and secretly doing category theory in Lie algebras everything's coming up me