Lucius T. Schoenbaum
Department of Mathematics
Louisiana State University
Baton Rouge, LA 70803
Office: 125A Prescott Hall
Email: lschoe2 at lsu dot edu
I am interested/am a student in:
Categorical Logic, Topos Theory, and related subjects.
My advisor is Daniel Sage
. Here is a research statement
"On the Syntax of Logic and Set Theory." Review of Symbolic Logic, 3
September 2010 arXiv:1003.4102
"Towards Visual Type Theory as Mathematical Tool and Mathematical User Interface."
Proceedings of 2016 Conference on Intelligent Computer Mathematics (CICM 2016) Bialystok, Poland.
"Monads and Generalized Categories." 2016. draft
"A Generalization of the Curry-Howard Correspondence." 2016. arXiv:1612.02816
"Ideal Toposes: First Report." in progress.
"Introduction to Generalized Categories." 2016. arXiv:1612.02885
"Towards Theory and Applications of Generalized Categories in Areas of Type Theory and Categorical Logic." PhD thesis, in progress.
"Philosophy, Mathematics, and Proof Theory." Master's thesis. link