Previous |  Up |  Next

Article

Keywords:
internal category; category object; internal full subcategory; fibration; double category; descent data; distributors; profunctors; modules; Yoneda structure
Summary:
We look again at the Yoneda structures arising on internal categories from internal full subcategories in a category $\scr C$. We examine the relationship between a generalised Yoneda lemma and the descent construction. Application to $\scr C$ = Cat gives results on double categories and 2-categories.
References:
[1] Artin, Michael, Grothendieck, Alexandre, Verdier, Jean-Louis: Séminaire de Géométrie Algébrique du Bois Marie 1963-64: Théorie des topos et cohomologie étale des schémas (SGA 4) vol. 1. Lecture Notes in Mathematics 269 (Springer-Verlag, Berlin, New York, 1972) 185–217
[2] Bénabou, Jean: Introduction to bicategories. Lecture Notes in Mathematics 47 (Springer-Verlag, 1967) 1–77 DOI 10.1007/BFb0074299
[3] Bénabou, Jean: Problèmes dans les topos. Univ. Catholique de Louvain, Inst. de Math. Pure et Appliquée, Rapport no. 34
[4] Bénabou, Jean: Théories relatives à un corpus. Comptes Rendus de l’Académie des Sciences, Paris, Séries A et B 281(20) A831–A834
[5] Bénabou, Jean: Fibrations petites et localement petites. Comptes Rendus de l’Académie des Sciences, Paris, Séries A et B 281(21) A897–A900
[6] Bénabou, Jean, Roubaud, Jacques: Monades et descente. Comptes Rendus de l’Académie des Sciences Paris 270 96–98
[7] Celeyrette, Jean: Fibrations et extensions de Kan. Thèse de 3e cycle (Université Paris-Nord, 1974)
[8] Conduché, François: Au sujet de l’existence d’adjoints à droite aux foncteurs image réciproque dans la catégorie des catégories. Compte Rendue Acad. Sci. Paris Sér. A-B 275 A891–A894
[9] Day, Brian J.: On closed categories of functors. Lecture Notes in Mathematics 137 (Springer-Verlag, 1970) 1–38
[10] Dubuc, Eduardo: Adjoint triangles. Lecture Notes in Mathematics 61 (Springer-Verlag 1968) 69–91 DOI 10.1007/BFb0077118
[11] Ehresmann, Charles: Catégories topologiques et catégories différentiables. Colloque Géom. Diff. Globale, Bruxelles, (Centre Belge Rech. Math., Louvain, 1959) 137–150
[12] Ehresmann, Charles: Catégories doubles et catégories structurées. Comptes Rendue Acad. Sci. Paris 256 1198–1201
[13] Eilenberg, Samuel, Kelly, G. Max: Closed categories. Proceedings of the Conference on Categorical Algebra (La Jolla, 1965), (Springer-Verlag,1966) 421–562
[14] Eilenberg, Samuel, Moore, John C.: Adjoint functors and triples. Illinois Journal of Mathematics 9 381–398
[15] Giraud, Jean: Méthode de la descente. Bull. Soc. Math. France Mém. 2
[16] Giraud, Jean: Cohomologie non abélienne. Grundlehren der mathematischen Wissenschaften 179 (Springer, Berlin, 1971) DOI 10.1007/978-3-662-62103-5
[17] Gray, John W.: Fibred and cofibred categories. Proceedings of the Conference on Categorical Algebra (La Jolla, 1965), (Springer-Verlag,1966) 21–83
[18] Gray, John W.: The categorical comprehension scheme. Lecture Notes in Mathematics 99 (Springer-Verlag, Berlin and New York, 1969) 242–312 DOI 10.1007/BFb0081965
[19] Gray, John W.: The Meeting of the Midwest Category Seminar in Zurich, August 24-30,1970. Lecture Notes in Mathematics 195 (Springer, Berlin, 1971) 248–255
[20] Gray, John W.: Formal category theory: adjointness for 2-categories. Lecture Notes in Mathematics 391 (Springer-Verlag, Berlin-New York, 1974) xii+282 pp
[21] Gray, John W.: Coherence for the tensor product of 2-categories, and braid groups. in: Algebra, topology, and category theory (a collection of papers in honor of Samuel Eilenberg; Academic Press, New York, 1976) 63–76
[22] Grothendieck, Alexander: Technique de descente et théorèmes d’existence en géométrie algébrique. I. Généralitiés. Descente par morphismes fidèlement plats. Séminaire Bourbaki 5 (Exposé 190; 1959) viii+150 pp
[23] Grothendieck, Alexander: Revêtements étales et groupe fondamental. Fasc. II (Exposés 6, 8 à 11; Séminaire de Géométrie Algébrique, 1960/61. Troisième édition, corrigée) Institut des Hautes Études Scientifiques, Paris i+163 pp
[24] Johnstone, Peter T.: Topos theory. London Mathematical Society Monographs 10 (Academic Press, London-New York, 1977) xxiii+367 pp
[25] Johnstone, Peter T., Wraith, Gavin C.: Algebraic theories in toposes. Lecture Notes in Mathematics 661 (Springer, Berlin, 1978) 141–242 DOI 10.1007/BFb0061363
[26] Kelly, G. Max: On Mac Lane’s conditions for coherence of natural associativities, commutativities, etc. Journal of Algebra 1 397–402
[27] Kelly, G. Max: Adjunction for enriched categories. Lecture Notes in Mathematics 106 (Springer-Verlag, 1969) 166–177 DOI 10.1007/BFb0059145
[28] Kelly, G. Max: On clubs and doctrines. Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 181–256 DOI 10.1007/BFb0063104
[29] Kelly, G. Max: Doctrinal adjunction. Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 257–280 DOI 10.1007/BFb0063105
[30] Kelly, G. Max: Basic concepts of enriched category theory. London Mathematical Society Lecture Note Series 64 (Cambridge University Press, Cambridge, 1982)
[31] Kelly, G. Max, Street, Ross: Review of the elements of 2-categories. Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 75–103 DOI 10.1007/BFb0063101
[32] Kock, Anders, Wraith, Gavin C.: Elementary toposes. Lecture Notes Series 30 (Matematisk Institut, Aarhus Universitet, September 1971) 118pp
[33] Lack, Stephen: A coherent approach to pseudomonads. Advances in Mathematics 152 179–202 DOI 10.1006/aima.1999.1881
[34] Lack, Stephen, Paoli, Simona: 2-nerves for bicategories. K-Theory 38 153–175 DOI 10.1007/s10977-007-9013-2
[35] Lawvere, F. William: The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra (La Jolla, 1965), (Springer-Verlag,1966) 1–20
[36] Lawvere, F. William: Ordinal sums and equational doctrines. Lecture Notes in Mathematics 80 (Springer-Verlag, 1969) 141–155 DOI 10.1007/BFb0083085
[37] Lawvere, F. William: Equality in hyperdoctrines and the comprehension scheme as an adjoint functor. Proceedings of the AMS Symposium on Pure Mathematics 17 1–14
[38] Lane, Saunders Mac: Groups, categories and duality. Proceedings of the National Academy of Sciences U.S.A. 34 263–267
[39] Lane, Saunders Mac: Locally small categories and the foundations of set theory. in: Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, (Pergamon, Oxford; Państwowe Wydawnictwo Naukowe, Warsaw, 1961) 25–43
[40] Lane, Saunders Mac: Natural associativity and commutativity. Rice University Studies 49 28–46
[41] Lane, Saunders Mac: Foundations for categories and sets. in: Category Theory, Homology Theory and their Applications, II (Battelle Institute Conference, Seattle, Wash., 1968; Springer, Berlin, 1969) 146–164
[42] Lane, Saunders Mac: One universe as a foundation for category theory. in: Reports of the Midwest Category Seminar. III, Lecture Notes in Mathematics 106 (Springer, Berlin, 1969) 192–200
[43] Lane, Saunders Mac: Categories for the Working Mathematician. Graduate Texts in Mathematics 5 (Springer-Verlag, 1971)
[44] Lane, Saunders Mac, Paré, Robert: Coherence for bicategories and indexed categories. Journal of Pure and Applied Algebra 37 59–80
[45] Paré, Robert: Yoneda theory for double categories. Theory and Applications of Categories 25 436–489 DOI 10.70930/tac/ozute1lq
[46] Paré, Robert, Schumacher, Dietmar: Abstract families and the adjoint functor theorems. Lecture Notes in Mathematics 661 (Springer, Berlin, 1978) 1–125 DOI 10.1007/BFb0061361
[47] Penon, Jacques: Catégories localement internes. Comptes Rendus de l’Académie des Sciences, Paris, Séries A 278 1577–1580
[48] Street, Ross: The formal theory of monads. Journal of Pure and Applied Algebra 2 149–168 DOI 10.1016/0022-4049(72)90019-9
[49] Street, Ross: Fibrations and Yoneda’s lemma in a 2-category. Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 104–133 DOI 10.1007/BFb0063102
[50] Street, Ross: Elementary cosmoi I. Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 134–180 DOI 10.1007/BFb0063103
[51] Street, Ross: Limits indexed by category-valued 2-functors. Journal of Pure and Applied Algebra 8 149–181 DOI 10.1016/0022-4049(76)90013-X
[52] Street, Ross: Fibrations in bicategories. Cahiers de topologie et géométrie différentielle 21 111–160
[53] Street, Ross: Cosmoi of internal categories. Transactions of the American Mathematical Society 258 271–318 DOI 10.1090/S0002-9947-1980-0558176-3
[54] Street, Ross: Categorical structures. Handbook of Algebra 1 (edited by M. Hazewinkel, Elsevier Science, 1996) 529–577 DOI 10.1016/S1570-7954(96)80019-2
[55] Street, Ross, Verity, Dominic: The comprehensive factorization and torsors. Theory and Applications of Categories 23 42–75 DOI 10.70930/tac/6h8poksc
[56] Street, Ross, Walters, Robert F.C.: Yoneda structures on 2-categories. Journal of Algebra 50 350–379 DOI 10.1016/0021-8693(78)90160-6
[57] Tierney, Myles: Sheaf theory and the continuum hypothesis. Lecture Notes in Mathematics 274 (Springer, Berlin, 1972)13–42 DOI 10.1007/BFb0073963
[58] Weber, Mark: Yoneda structures from 2-toposes. Applied Categorical Structures 15 259–323 DOI 10.1007/s10485-007-9079-2
[59] Wraith, Gavin C.: Lectures on elementary topoi. Lecture Notes in Mathematics 445 (Springer, Berlin, 1975) 114–206 DOI 10.1007/BFb0061296
[60] Yoneda, Nobuo: On Ext and exact sequences. J. Fac. Sci. Univ. Tokyo Sect. I 8 507–576; MR0225854 (37#1445)
Partner of
EuDML logo