# 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

#### 3 Citations

A Generalization of the Curry-Howard Correspondence

- Computer Science, Mathematics
- ArXiv
- 2016

#### References

SHOWING 1-10 OF 41 REFERENCES

The category-theoretic solution of recursive domain equations

- Mathematics, Computer Science
- 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
- 1977

Applications of Categories in Computer Science: Geometric theories and databases

- Computer Science
- 1992

Notions of Computation and Monads

- Computer Science, Mathematics
- Inf. Comput.
- 1991

Infinite trees and completely iterative theories: a coalgebraic view

- Computer Science, Mathematics
- Theor. Comput. Sci.
- 2003

A Generalization of the Curry-Howard Correspondence

- Computer Science, Mathematics
- ArXiv
- 2016