Corpus ID: 119725367

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

@article{Schoenbaum2016TowardsTA,
  title={Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic},
  author={Lucius T. Schoenbaum},
  journal={arXiv: Category Theory},
  year={2016}
}
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… Expand
A Generalization of the Curry-Howard Correspondence
Foundations of a Recent Extension of Category Theory and Topos Theory
Introduction to Generalized Categories

References

SHOWING 1-10 OF 41 REFERENCES
The category-theoretic solution of recursive domain equations
  • M. Smyth, G. Plotkin
  • Mathematics, Computer Science
  • 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
  • 1977
Deductive systems and categories
  • J. Lambek
  • Mathematics, Computer Science
  • Mathematical systems theory
  • 2005
Applications of Categories in Computer Science: Geometric theories and databases
Lifting Theorems for Kleisli Categories
Notions of Computation and Monads
  • E. Moggi
  • Computer Science, Mathematics
  • Inf. Comput.
  • 1991
Infinite trees and completely iterative theories: a coalgebraic view
A Generalization of the Curry-Howard Correspondence
Monad as Modality
Introduction to Generalized Type Systems
∞-Categories for the Working Mathematician
...
1
2
3
4
5
...