On the generic solution to P(X) ≅ X in distributive categories

Journal of Pure and Applied Algebra

Volumn 125, Issue 1-3, 1998, Pages 191-212

  Gates, R ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032013273     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(96)00122-3     Document Type: Article

References (12)

1. [1] R. Blackwell, G.M. Kelly and A.J. Power, Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989) 1-40.
2. [2] A. Blass, Seven trees in one, J. Pure App. Algebra 103 (1995) 1-22.
3. [3] A. Carboni, S. Lack and R.F.C. Walters, Introduction to extensive and distributive categories, J. Pure Appl Algebra 84 (1993) 145-158.
4. [4] S.A. Cook and R.A. Reckhow, Time bounded random access machines, J. Comput. System Sci. 7 (1973) 354-375.
5. [5] R. Gates, The initial distributive category with x = x + 1. Tech. Report, Sydney University, 1994.
6. [6] F.W. Lawvere, Functorial semantics of algebraic theories, Ph.D. Thesis, Columbia University, 1963.
7. [7] F.W. Lawvere, Some thoughts on the future of category theory, in A. Carboni, M.C. Pedicchio and G. Rosolini, Eds., Category Theory, Proceedings, Como, Lecture Notes in Mathematics, Vol. 1488 (Springer, Berlin, 1990) 1-13.
8. [8] S.H. Schanuel, Negative sets have euler characteristic and dimension, in A. Carboni, M.C. Pedicchio and G. Rosolini, Eds., Category Theory. Proceedings, Como, Lecture Notes in Mathematics, Vol. 1488 (Springer, Berlin, 1990) 379-385.
9. [9] H. Schubert, Categories (Springer, Berlin, 1972).
10. [10] R.F.C. Walters, Data types in distributive categories, Bull. Austral. Math. Soc. 40 (1) (1989) 79-82.
11. [11] R.F.C. Walters, Categories and Computer Science (Carslaw Publications, Sydney, 1991).
12. [12] R.F.C. Walters, An imperative language based on distributive categories, Math. Struct. Comput. Sci. 2 (1992) 249-256.