A presentation of the initial lift-algebra

Journal of Pure and Applied Algebra

Volumn 116, Issue 1-3, 1997, Pages 185-198

  Jibladze, Mamuka ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031588857     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(96)00108-9     Document Type: Article

References (22)

1. [1] A. Blass, Well-ordering and induction in intuitionistic logic and topoi, in: D.W. Kueker, E.G.K. Lopez-Escobar and C.H. Smith, eds., Mathematical Logic and Theoretical Computer Science (Marcel Dekker, New York, 1987) 29-48.
2. [2] A. Carboni and P.T. Johnstone, Connected limits, familial representability and Artin glueing, Math. Struct Comput. Sci. 5 (1995) 441-459.
3. [3] P. Freyd, Aspects of topoi, Bull. Austral. Math. Soc. 7 (1972) 1-76, 467-480.
4. [4] P. Freyd, Recursive types reduced to inductive types, Proc. 5th Ann. Symp. on Logic in Computer Science (1990) 498-507.
5. [5] P. Freyd, Algebraically complete categories, in: A. Carboni, M.C, Pedicchio and G. Rosolini, eds., Category Theory, Proc. Como, 1990, Lecture Notes in Math., Vol. 1488 (Springer, Berlin, 1991) 95-104.
6. [6] P. Freyd, Remarks on algebraically compact categories, in: M.P. Fourman, P.T. Johnstone and A.M. Pitts, eds., Applications of Categories in Computer Science, London Math. Soc. Lecture Note Series, Vol. 177 (Cambridge Univ. Press, Cambridge, 1992) 95-106.
7. [7] J.M.E. Hyland, First steps in synthetic domain theory, in: A. Carboni, M.C. Pedicchio and G. Rosolini, eds., Category Theory, Proc., Como, 1990, Lecture Notes in Math., Vol. 1488 (Springer, Berlin, 1991) 131-156.
8. [8] J.M.E. Hyland and E. Moggi, The S-replete construction, in: D. Pitt, D.E. Rydeheard and P.T. Johnstone, eds., CTCS'95 Lecture Notes in Computer Science, Vol. 953 (Springer, Berlin, 1995) 96-116.
9. [9] P.T. Johnstone, Topos Theory (Academic Press, New York, 1977).
10. [10] P.T. Johnstone, Partial products, bagdomains and hyperlocal toposes, in: M.P. Fourman, P.T. Johnstone and A.M. Pitts, eds., Applications of Categories in Computer Science, London Math. Soc. Lecture Note Series, Vol. 177 (Cambridge Univ. Press, Cambridge, 1992) 315-339.
11. [11] P.T. Johnstone and G. Wraith, Algebraic theories in toposes, in: P.T. Johnstone and R. Paré, eds., Indexed Categories and Their Applications, Lecture Notes in Math., Vol. 661 (Springer, Berlin, 1978) 141-242.
12. [12] A. Joyal and I. Moerdijk, Algebraic Set Theory, London Math. Soc. Lecture Note Series 220 (Cambridge Univ. Press, Cambridge, 1995).
13. [13] A. Kock, Strong functors and monoidal monads, Arch. Math. 23 (1972) 113-120.
14. [14] A. Kock, The constructive lift monad, BRICS Report Series RS-95-20, Aarhus University, March 1995.
15. [15] R. Paré and D. Schumacher, Abstract families and the adjoint functor theorems, in: P.T. Johnstone and R, Paré, eds., Indexed Categories and their Applications, Lecture Notes in Math., Vol 661 (Springer, Berlin, 1978) 1-125.
16. [16] G. Rosolini, Continuity and effectiveness in topoi, Ph.D. Thesis, University of Oxford, 1986.
17. [17] G. Rosolini, Notes on synthetic domain theory, 1995, available at ftp and http sites in theory.doc.ic.ac.uk.
18. [18] D. Schumacher, Absolutely free algebras in a topos containing an infinite object, Canad. Math. Bull. 19 (1976) 323-328.
19. [19] D.S. Scott, Domains for denotational semantics, in: M. Nielsen and E.M. Schmidt, eds., Automata, Languages and Programming Lecture Notes in Computer Science, Vol. 140 (Springer, Berlin, 1982) 577-613.
20. [20] A. Simpson, Private communication.
21. [21] P. Taylor, The fixed point property in synthetic domain theory, Proc. 6th Ann. Symp. on Logic in Computer Science (1991) 152-160.
22. [22] P. Taylor, On the general recursion theorem, 1995, available at ftp and http sites in theory.doc.ic.ac.uk.