Generic morphisms, parametric representations and weakly cartesian monads

Theory and Applications of Categories

Volumn 13, Issue 14, 2004, Pages 191-234

  Weber, Mark ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 29544447505     PISSN: 1201561X     EISSN: 1201561X     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. [AR94] J. Adamek and J. Rosicky, Locally presentable and accessible categories, London Math Soc. Lecture Notes, no. 189, Cambridge University Press, 1994.
2. [Bat98] M. Batanin, Monoidal globular categories as a natural environment for the theory of weak n-categories, Advances in Mathematics 136 (1998), 39-103.
3. [Bat02a] -. Computads and slices of operads. preprint, 2002.
4. n-spaces, preprint, 2002.
5. [Bat03] -. The combinatorics of iterated loop spaces, preprint. 2003.
6. [Bén91] J. Bénabon, Some remarks on free monoids in a topos, Lecture Notes in Math. 1488 (1991), 20-29.
7. [Ber02] C. Berger, A cellular nerve for higher categories, Advances in Mathematics 169 (2002), 118-175.
8. [BS00] M. Batanin and R. Street, The universal property of the multitude of trees, JPAA 154 (2000), 3-13.
9. [Bur71] A. Burroni, T-categories (catégories dans un triple). Cahiers Topologie Com. Differentielle Catégoriques 12 (1971), 215-321.
10. [CJ95] A. Carboni and P.T. Johnstone, Connected limits, familial representability and Artin glueing, Mathematical Structures in Computer Science 5 (1995), 441-459.
11. [Die77] Y. Diers, Catégories localisables, Ph.D. thesis, Université de Paris VI, 1977.
12. [Gir86] J.-Y. Girard, The system F of variable types, fifteen years later, Theoret. Comput, Sci 45 (1986), 159-192.
13. [Her00a] C. Hermida, From coherent structures to universal properties, J. Pure Appl. Algebra 165 (2000), 7-61.
14. [Her00b] -. Representable multicategories. Advances in Mathematics 151 (2000), 164-225.
15. [Joy86] A. Joyal, Foncteurs analytiques et espèces de structures, Lecture Notes in Math. 1234 (1986), 126-159.
16. [Kel72a] G.M. Kelly, An abstract approach to coherence, Lecture Notes in Math. 281 (1972), 106-147.
17. [Kel72b] -. Many-variable functorial calculus L Lecture Notes in Math. 281 (1972), 66-105.
18. [Kel92] -. On clubs and data-type constructors, Applications of categories to computer science, Cambridge University Press, 1992, pp. 163-190.
19. [Lam88] F. Lamarche, Modelling polymorphism with categories, Ph.D. thesis, McGill, 1988.
20. [Lei00] T. Leinster, Operads in higher-dimensional category theory, Ph.D. thesis, University of Cambridge, 2000.
21. [Lei03] -. Higher operads, higher categories, lecture note series. London Mathematical Society. 2003.
22. [Mac71] S. Mac Lane, Categories for the working mathematician. Graduate Texts in Mathematics, vol. 5, Springer-Verlag, 1971.
23. [Str72] R. Street, The formal theory of monads, J. Pure Appl. Algebra 2 (1972), 149-168.
24. [Str91] -, Parity complexes, Cahiers Topologie Géom. Différentielle Catégoriques 32 (1991), 315-343.
25. [Str00] -, The petit iopos of globular sets, J. Pure Appl. Algebra 154 (2000), 299-315.
26. [Tay88] P. Taylor, The trace factorisation of stable functors, preprint, 1988.
27. [Tay90] -, An algebraic approach to stable domains, JPAA 64 (1990), 171-203.
28. [Web0l] M. Weber, Symmetric operads for globular sets, Ph.D. thesis, Macquarie University, 2001.