An adjoint characterization of the category of sets
HTML articles powered by AMS MathViewer
- by Robert Rosebrugh and R. J. Wood PDF
- Proc. Amer. Math. Soc. 122 (1994), 409-413 Request permission
Abstract:
If a category B with Yoneda embedding $Y:{\mathbf {B}} \to {\mathbf {CAT}}({{\mathbf {B}}^{{\text {op}}}},{\mathbf {set}})$ has an adjoint string, $U \dashv V \dashv W \dashv X \dashv Y$, then B is equivalent to set.References
- Barry Fawcett and R. J. Wood, Constructive complete distributivity. I, Math. Proc. Cambridge Philos. Soc. 107 (1990), no. 1, 81–89. MR 1021874, DOI 10.1017/S0305004100068377
- François Foltz, Légitimité des catégories de préfaisceaux, Diagrammes 1 (1979), F1–F5 (French). MR 684432 P. J. Freyd, Abelian categories, Harper and Row, New York, 1964.
- R. Paré, R. Rosebrugh, and R. J. Wood, Idempotents in bicategories, Bull. Austral. Math. Soc. 39 (1989), no. 3, 421–434. MR 995139, DOI 10.1017/S0004972700003336
- Robert Rosebrugh and R. J. Wood, Constructive complete distributivity. IV, Appl. Categ. Structures 2 (1994), no. 2, 119–144. MR 1283433, DOI 10.1007/BF00873296
- Ross Street, Notions of topos, Bull. Austral. Math. Soc. 23 (1981), no. 2, 199–208. MR 617062, DOI 10.1017/S000497270000705X —, unpublished manuscript, 1979.
- Ross Street and Robert Walters, Yoneda structures on 2-categories, J. Algebra 50 (1978), no. 2, 350–379. MR 463261, DOI 10.1016/0021-8693(78)90160-6
- R. J. Wood, Some remarks on total categories, J. Algebra 75 (1982), no. 2, 538–545. MR 653907, DOI 10.1016/0021-8693(82)90055-2
Additional Information
- © Copyright 1994 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 122 (1994), 409-413
- MSC: Primary 18A40; Secondary 18B05
- DOI: https://doi.org/10.1090/S0002-9939-1994-1216823-2
- MathSciNet review: 1216823