Familial 2-functors and parametric right adjoints

Theory and Applications of Categories

Volumn 18, Issue , 2007, Pages 665-732

  Weber, Mark ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

Gerbes; Motives; Tannakian categories

Indexed keywords

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

References (40)

1. J. Adamek and J. Rosický, Locally presentable and accessible categories, LMS Lecture Notes No 189, Cambridge University Press, 1994.
2. M. Batanin, Monoidal globular categories as a natural environment for the theory of weak n-categories, Advances in Mathematics, 136: 39-103, 1998.
3. M. Batanin, The Eckmann-Hilton argument and higher operads, to appear in Adv. Math, arXiv: math. CT/0207281, 2002.
4. M. Batanin, Symmetrisation of n-operads and compactification of real configuration spaces, to appear in Adv. Math. arXiv: math. CT/0606067, 2006.
5. M. Batanin, A. Joyal, J. Kock, and J. F. Mascari, Polynomial functors and opetopes, in preparation.
6. J. Bénabou, Fibred categories and the foundation of naive category theory, Journal of Symbolic Logic, 50: 10-37, 1985.
7. J. Bénabou, Some remarks on free monoids in a topos, Lecture Notes in Math, 1488: 20-29, 1991.
8. C. Berger, A cellular nerve for higher categories, Advances in Mathematics, 169: 118-175, 2002.
9. R. Blackwell, G. M. Kelly, and A. J. Power, Two-dimensional monad theory, J. Pure Appl. Algebra, 59: 1-41, 1989.
10. A. Carboni and P. T. Johnstone, Connected limits, familial representability and Artin glueing, Mathematical Structures in Computer Science, 5: 441-459, 1995.
11. A. Carboni, S. Lack, and R. F. C. Walters, Introduction to extensive and distributive categories, J. Pure Appl. Algebra, 84: 145-158, 1993.
12. F. Conduché, Au aujet de l'existence d'adjoints à droite aux foncteurs "image réciproque" dans la catégory des catégories. C. R. Acad. Sci. Paris Sér. A-B, 275: A891-A894, 1972.
13. Y. Diers. Catégories Localisables, PhD thesis, Université de Paris VI, 1977.
14. E. Dubuc, Kan extensions in enriched category theory, Lecture Notes in Math 145, Springer Verlag, 1970.
15. P. Freyd, Aspects of topoi, Bull. Austral. Math. Soc, 7: 1-76, 1972.
16. N. Gambino and M. Hyland, Well-founded trees and dependent polynomial functors, in Types 2003, volume 3085, pages 210-225, 2004.
17. J. Giraud, Méthode de la descente, Bull. Soc. Math. France Mém, 2, 1972.
18. B. Jacobs, Categorical logic and type theory, Studies in logic and the foundations of mathematics no 141, Elsevier, 1999.
19. M. Johnson, Pasting diagrams in n-categories with applications to coherence theorems and categories of paths, PhD thesis, University of Sydney, 1987.
20. A. Joyal, Disks, duality and θ-categories, unpubished note, 1997.
21. A. Joyal and R. Street, The geometry of tensor calculus I, Advances in Mathematics, 88: 55-112, 1991.
22. G. M. Kelly, An abstract approach to coherence, Lecture Notes in Math, 281: 106-147, 1972.
23. J. Kock, Notes on polynomial functors (draft), available at http://mat. uab. es/-kock/cat. html.
24. S. Lack and R. H. Street, The formal theory of monads II, J. Pure Appl. Algebra, 175: 243-265, 2002.
25. T. Leinster, Nerves of algebras, talk at CT04 in Vancouver, available at http://www. maths. gla. ac. uk/-tl/vancouver/.
26. I. Moerdijk and E. Palmgren, Wellfounded trees in categories, Annals of Pure and Applied Logic, 104: 189-218, 2000.
27. I. Moerdijk and I. Weiss, Dendroidal sets, Algebraic and Geometric Topology, 7: 1441-1470, 2007a.
28. I. Moerdijk and I. Weiss, On inner Kan complexes in the category of Dendroidal sets, available at arXiv: math. AT/0701295, 2007b.
29. R. Paré, Absolute coequalizers, Lecture Notes in Math, 86: 132-145, 1969.
30. R. Street, The formal theory of monads, J. Pure Appl. Algebra, 2: 149-168, 1972.
31. R. Street, Fibrations and Yoneda's lemma in a 2-category, Lecture Notes in Math, 420: 104-133, 1974.
32. R. Street, Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra, 8: 149-181, 1976.
33. R. Street, Cosmoi of internal categories, Trans. Amer. Math. Soc, 258: 271-318, 1980a.
34. R. Street, Fibrations in bicategories, Cahiers Topologie Géom. Differentielle, 21: 111-160, 1980b.
35. R. Street, The petit topos of globular sets, J. Pure Appl. Algebra, 154: 299-315, 2000.
36. R. Street and R. F. C. Walters, Yoneda structures on 2-categories, J. Algebra, 50: 350-379, 1978.
37. M. Weber, Operads within monoidal pseudo algebras II, in preparation.
38. M. Weber, Generic morphisms, parametric representations, and weakly cartesian monads, Theory and applications of categories, 13: 191-234, 2004.
39. M. Weber, Operads within monoidal pseudo algebras, Applied Categorical Structures, 13: 389-420, 2005.
40. M. Weber, Yoneda structures from 2-toposes, Applied Categorical Structures, 15: 259-323, 2007.