TY  - RPRT
TI  - Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic
AU  - Lucius T. Schoenbaum
PY  - 2018
UR  - https://arxiv.org/abs/1803.00180
ID  - 1803.00180
ER  -