Open AccessTowards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic
Author(s) -
Lucius T. Schoenbaum
Publication year - 2022
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_dissertations.4266
Subject(s) - topos theory , category theory , morphism , mathematics , type theory , cartesian closed category , algebra over a field , domain theory , functor , category of sets , categorical variable , categorial grammar , equivalence (formal languages) , pure mathematics , discrete mathematics , type (biology) , computer science , artificial intelligence , art , ecology , statistics , literature , biology , mildly context sensitive grammar formalism , generative grammar , emergent grammar