Author:
Lambek Joachim,Scott Philip
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference19 articles.
1. Bainbridge, E. S., P. Freyd, A. Scedrov, and P. J. Scott,‘Functorial Polymorphism’, Theoretical Computer Science 70 (1990), 35–64.
2. Barr, M., et. al., Exact categories and categories of sheaves, Springer Lecture Notes in Mathematics 236, 1971.
3. Borceux, F., Handbook of Categorical Algebra 1, Cambridge, 1994.
4. Calenko, M. S., et. al., Ordered Categories with involution, Dissertaiones Mathematicae 227, 1984.
5. Carboni, A., and E. M. Vitale, ‘Regular and Exact Completions’, Journal of Pure and Applied Algebra 125 (1998), 29–117.