Nope I meant category theory > Maybe you meant type theory? But that also has no relation. Hmm? Category theory and type theory have a lot of close ties. For

Nope I meant category theory > Maybe you meant type theory? But that also has no relation. Hmm? Category theory and type theory have a lot of close ties. For example see the Nlab page on their connections https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory https://ncatlab.org/nlab/show/relation+between+type+theory+a...