| Title:
|
Categories in categories, and size matters (English) |
| Author:
|
Street, Ross |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
1 |
| Issue:
|
1 |
| Year:
|
2017 |
| Pages:
|
225-270 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| 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. (English) |
| Keyword:
|
internal category |
| Keyword:
|
category object |
| Keyword:
|
internal full subcategory |
| Keyword:
|
fibration |
| Keyword:
|
double category |
| Keyword:
|
descent data |
| Keyword:
|
distributors |
| Keyword:
|
profunctors |
| Keyword:
|
modules |
| Keyword:
|
Yoneda structure |
| MSC:
|
18D10 |
| MSC:
|
18D20 |
| MSC:
|
18D35 |
| idZBL:
|
Zbl 1411.18013 |
| idMR:
|
MR3912055 |
| DOI:
|
10.21136/HS.2017.07 |
| . |
| Date available:
|
2026-03-10T13:36:41Z |
| Last updated:
|
2026-03-10 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153398 |
| . |
| Reference:
|
[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 |
| Reference:
|
[2] Bénabou, Jean: Introduction to bicategories.Lecture Notes in Mathematics 47 (Springer-Verlag, 1967) 1–77 10.1007/BFb0074299 |
| Reference:
|
[3] Bénabou, Jean: Problèmes dans les topos.Univ. Catholique de Louvain, Inst. de Math. Pure et Appliquée, Rapport no. 34 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[6] Bénabou, Jean, Roubaud, Jacques: Monades et descente.Comptes Rendus de l’Académie des Sciences Paris 270 96–98 |
| Reference:
|
[7] Celeyrette, Jean: Fibrations et extensions de Kan.Thèse de 3e cycle (Université Paris-Nord, 1974) |
| Reference:
|
[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 |
| Reference:
|
[9] Day, Brian J.: On closed categories of functors.Lecture Notes in Mathematics 137 (Springer-Verlag, 1970) 1–38 |
| Reference:
|
[10] Dubuc, Eduardo: Adjoint triangles.Lecture Notes in Mathematics 61 (Springer-Verlag 1968) 69–91 10.1007/BFb0077118 |
| Reference:
|
[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 |
| Reference:
|
[12] Ehresmann, Charles: Catégories doubles et catégories structurées.Comptes Rendue Acad. Sci. Paris 256 1198–1201 |
| Reference:
|
[13] Eilenberg, Samuel, Kelly, G. Max: Closed categories.Proceedings of the Conference on Categorical Algebra (La Jolla, 1965), (Springer-Verlag,1966) 421–562 |
| Reference:
|
[14] Eilenberg, Samuel, Moore, John C.: Adjoint functors and triples.Illinois Journal of Mathematics 9 381–398 |
| Reference:
|
[15] Giraud, Jean: Méthode de la descente.Bull. Soc. Math. France Mém. 2 |
| Reference:
|
[16] Giraud, Jean: Cohomologie non abélienne.Grundlehren der mathematischen Wissenschaften 179 (Springer, Berlin, 1971) 10.1007/978-3-662-62103-5 |
| Reference:
|
[17] Gray, John W.: Fibred and cofibred categories.Proceedings of the Conference on Categorical Algebra (La Jolla, 1965), (Springer-Verlag,1966) 21–83 |
| Reference:
|
[18] Gray, John W.: The categorical comprehension scheme.Lecture Notes in Mathematics 99 (Springer-Verlag, Berlin and New York, 1969) 242–312 10.1007/BFb0081965 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[24] Johnstone, Peter T.: Topos theory.London Mathematical Society Monographs 10 (Academic Press, London-New York, 1977) xxiii+367 pp |
| Reference:
|
[25] Johnstone, Peter T., Wraith, Gavin C.: Algebraic theories in toposes.Lecture Notes in Mathematics 661 (Springer, Berlin, 1978) 141–242 10.1007/BFb0061363 |
| Reference:
|
[26] Kelly, G. Max: On Mac Lane’s conditions for coherence of natural associativities, commutativities, etc..Journal of Algebra 1 397–402 |
| Reference:
|
[27] Kelly, G. Max: Adjunction for enriched categories.Lecture Notes in Mathematics 106 (Springer-Verlag, 1969) 166–177 10.1007/BFb0059145 |
| Reference:
|
[28] Kelly, G. Max: On clubs and doctrines.Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 181–256 10.1007/BFb0063104 |
| Reference:
|
[29] Kelly, G. Max: Doctrinal adjunction.Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 257–280 10.1007/BFb0063105 |
| Reference:
|
[30] Kelly, G. Max: Basic concepts of enriched category theory.London Mathematical Society Lecture Note Series 64 (Cambridge University Press, Cambridge, 1982) |
| Reference:
|
[31] Kelly, G. Max, Street, Ross: Review of the elements of 2-categories.Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 75–103 10.1007/BFb0063101 |
| Reference:
|
[32] Kock, Anders, Wraith, Gavin C.: Elementary toposes.Lecture Notes Series 30 (Matematisk Institut, Aarhus Universitet, September 1971) 118pp |
| Reference:
|
[33] Lack, Stephen: A coherent approach to pseudomonads.Advances in Mathematics 152 179–202 10.1006/aima.1999.1881 |
| Reference:
|
[34] Lack, Stephen, Paoli, Simona: 2-nerves for bicategories.K-Theory 38 153–175 10.1007/s10977-007-9013-2 |
| Reference:
|
[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 |
| Reference:
|
[36] Lawvere, F. William: Ordinal sums and equational doctrines.Lecture Notes in Mathematics 80 (Springer-Verlag, 1969) 141–155 10.1007/BFb0083085 |
| Reference:
|
[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 |
| Reference:
|
[38] Lane, Saunders Mac: Groups, categories and duality.Proceedings of the National Academy of Sciences U.S.A. 34 263–267 |
| Reference:
|
[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 |
| Reference:
|
[40] Lane, Saunders Mac: Natural associativity and commutativity.Rice University Studies 49 28–46 |
| Reference:
|
[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 |
| Reference:
|
[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 |
| Reference:
|
[43] Lane, Saunders Mac: Categories for the Working Mathematician.Graduate Texts in Mathematics 5 (Springer-Verlag, 1971) |
| Reference:
|
[44] Lane, Saunders Mac, Paré, Robert: Coherence for bicategories and indexed categories.Journal of Pure and Applied Algebra 37 59–80 |
| Reference:
|
[45] Paré, Robert: Yoneda theory for double categories.Theory and Applications of Categories 25 436–489 10.70930/tac/ozute1lq |
| Reference:
|
[46] Paré, Robert, Schumacher, Dietmar: Abstract families and the adjoint functor theorems.Lecture Notes in Mathematics 661 (Springer, Berlin, 1978) 1–125 10.1007/BFb0061361 |
| Reference:
|
[47] Penon, Jacques: Catégories localement internes.Comptes Rendus de l’Académie des Sciences, Paris, Séries A 278 1577–1580 |
| Reference:
|
[48] Street, Ross: The formal theory of monads.Journal of Pure and Applied Algebra 2 149–168 10.1016/0022-4049(72)90019-9 |
| Reference:
|
[49] Street, Ross: Fibrations and Yoneda’s lemma in a 2-category.Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 104–133 10.1007/BFb0063102 |
| Reference:
|
[50] Street, Ross: Elementary cosmoi I.Lecture Notes in Mathematics 420 (Springer-Verlag, 1974) 134–180 10.1007/BFb0063103 |
| Reference:
|
[51] Street, Ross: Limits indexed by category-valued 2-functors.Journal of Pure and Applied Algebra 8 149–181 10.1016/0022-4049(76)90013-X |
| Reference:
|
[52] Street, Ross: Fibrations in bicategories.Cahiers de topologie et géométrie différentielle 21 111–160 |
| Reference:
|
[53] Street, Ross: Cosmoi of internal categories.Transactions of the American Mathematical Society 258 271–318 10.1090/S0002-9947-1980-0558176-3 |
| Reference:
|
[54] Street, Ross: Categorical structures.Handbook of Algebra 1 (edited by M. Hazewinkel, Elsevier Science, 1996) 529–577 10.1016/S1570-7954(96)80019-2 |
| Reference:
|
[55] Street, Ross, Verity, Dominic: The comprehensive factorization and torsors.Theory and Applications of Categories 23 42–75 10.70930/tac/6h8poksc |
| Reference:
|
[56] Street, Ross, Walters, Robert F.C.: Yoneda structures on 2-categories.Journal of Algebra 50 350–379 10.1016/0021-8693(78)90160-6 |
| Reference:
|
[57] Tierney, Myles: Sheaf theory and the continuum hypothesis.Lecture Notes in Mathematics 274 (Springer, Berlin, 1972)13–42 10.1007/BFb0073963 |
| Reference:
|
[58] Weber, Mark: Yoneda structures from 2-toposes.Applied Categorical Structures 15 259–323 10.1007/s10485-007-9079-2 |
| Reference:
|
[59] Wraith, Gavin C.: Lectures on elementary topoi.Lecture Notes in Mathematics 445 (Springer, Berlin, 1975) 114–206 10.1007/BFb0061296 |
| Reference:
|
[60] Yoneda, Nobuo: On Ext and exact sequences.J. Fac. Sci. Univ. Tokyo Sect. I 8 507–576; MR0225854 (37#1445) |
| . |
