If you keep walking down that path you'll soon be labelled a crank by the old guard. Developing a practical rather than a theoretical understanding of type the

If you keep walking down that path you'll soon be labelled a crank by the old guard. Developing a practical rather than a theoretical understanding of type theory rapidly makes you express intuitions which other people can't lex/parse. Because you begin to think in functors/compositions e.g constructively; and as you've already pointed out many of those functors don't have corresponding English nomenclature in a classical setting. Find some Category Theorists to talk to instead.