Digital Commons Network^™

Towards Theory And Applications Of Generalized Categories To Areas Of Type Theory And Categorical Logic, Lucius Traylor Schoenbaum

LSU Doctoral Dissertations

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 ongoing search in pure mathematics for feasible approaches to higher category theory, we undertake a detailed study of a new mathematical abstraction, the generalized category. It is a partially defined monoid equipped with endomorphism maps defining sources and targets on arbitrary elements, possibly allowing a proximal behavior with respect to composition. We first present a formal introduction to the theory of generalized categories. We describe functors, equivalences, natural transformations, adjoints, and limits in the generalized …