Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic

Lucius T. Schoenbaum

Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongo…