Dinatural numbers

Journal of Pure and Applied Algebra

Volumn 128, Issue 1, 1998, Pages 33-92

  Paré, Robert ^a   Román, Leopoldo ^b  

^a DALHOUSIE UNIVERSITY   (Canada)

^b UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032474299     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(97)00036-4     Document Type: Article

References (13)

1. [1] E.S. Bainbridge, P.J. Freyd, A. Scedrov, P.J. Scott, Functorial polymorphism, Theoret. Comput. Sci. 70 (1990) 35-64.
2. [2] J. Bénabou, B. Loiseau, Orbits and monoids in a topos, J. Pure Appl. Algebra 92 (1994) 29-54.
3. [3] F. Borceux, Handbook of Categorical Algebra 2, Categories and Structures, Cambridge University Press, Cambridge, 1994.
4. [4] S. Burris, S. Lee, Tarski's high school identities, Amer. Math. Monthly 100 (1993) 231-236.
5. [5] B. Day, On closed categories of functors, Reports of the Midwest Category Seminar IV, Lecture Notes in Math., vol. 137, Springer, Berlin, 1970, pp. 1-38.
6. [6] E.J. Dubuc, R. Street, Dinatural transformations, Reports of the Midwest Category Seminar IV, Lecture Notes in Math., vol. 137, Springer, Berlin, 1970, pp. 126-137.
7. [7] J.-Y. Girard, A. Scedrov, P. Scott, Normal forms and cut-free proofs as natural transformations, in: Y. Moschovakis (Ed.), Logic from Computer Science, MSRI Publications, vol. 21, Springer, Berlin, 1992, pp. 217-241.
8. [8] G.M. Kelly, Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Notes, vol. 64, Cambridge University Press, Cambridge, 1982.
9. [9] J. Lambek, P.J. Scott, Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics, vol. 7, Cambridge University Press, Cambridge, 1986.
10. [10] M. Makkai, R. Paré, Accessible Categories: The Foundations of Categorical Model Theory, Contemporary Mathematics, vol. 104, AMS, Providence, RI, 1989.
11. [11] R. Paré, L. Román, Monoidal categories with natural numbers object, Studia Logica XLVIII 3 (1989) 361-376.
12. [12] S. Rolland, Essai sur les mathématiques algorithmiques, Maîtrise ès Sciences, UQAM, 1976.
13. [13] R.J. Wood, Indicial methods for relative categories, Dissertation, Dalhousie University, 1976.