Exact completions and small sheaves

Theory and Applications of Categories

Volumn 27, Issue , 2012, Pages 97-173

  Shulman, Michael ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Exact category; Exact completion; Pretopos; Sheaf; Site; Topos

Indexed keywords

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

References (48)

1. [AR94] Jiří Adámek and Jiří Rosický. Locally presentable and accessible categories, volume 189 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1994.
2. [Bar06] Toby Bartels. Higher gauge theory I: 2-Bundles. PhD thesis, University of California, Riverside, 2006. arXiv:math/0410328.
3. [BCSW83] Renato Betti, Aurelio Carboni, Ross Street, and Robert Walters. Variation through enrichment. J. Pure Appl. Algebra, 29(2):109-127, 1983.
4. [BLS12] Gabriella Böhm, Stephen Lack, and Ross Street. Idempotent splittings, colimit completion, and weak aspects of the theory of monads. J. Pure Appl. Algebra, 216(2):385-403, 2012.
5. [Car95] A. Carboni. Some free constructions in realizability and proof theory. J. Pure Appl. Algebra, 103(2):117-148, 1995.
6. [CKW87] Aurelio Carboni, Stefano Kasangian, and Robert Walters. An axiomatics for bicategories of modules. J. Pure Appl. Algebra, 45(2):127-141, 1987.
7. [CLW93] Aurelio Carboni, Stephen Lack, and R.F.C. Walters. Introduction to extensive and distributive categories. J. Pure Appl. Algebra, 84(2):145-158, 1993.
8. [CM82] A. Carboni and R. Celia Magno. The free exact category on a left exact one. J. Austral. Math. Soc. Ser. A, 33(3):295-301, 1982.
9. [CV98] A. Carboni and E. M. Vitale. Regular and exact completions. J. Pure Appl. Algebra, 125(1-3):79-116, 1998.
10. [CW87] A. Carboni and R.F.C. Walters. Cartesian bicategories. I. J. Pure Appl. Algebra, 49(1-2):11-32, 1987.
11. [CW02] C. Centazzo and R. J. Wood. An extension of the regular completion. J. Pure Appl. Algebra, 175(1-3):93-108, 2002. Special volume celebrating the 70th birthday of Professor Max Kelly.
12. [CW05] C. Centazzo and R. J. Wood. A factorization of regularity. J. Pure Appl. Algebra, 203(1-3):83-103, 2005.
13. [DHI04] Daniel Dugger, Sharon Hollander, and Daniel C. Isaksen. Hypercovers and simplicial presheaves. Math. Proc. Cambridge Philos. Soc., 136(1):9-51, 2004.
14. [DL07] Brian J. Day and Stephen Lack. Limits of small functors. J. Pure Appl. Algebra, 210(3):651-663, 2007.
15. [Fef69] Solomon Feferman. Set-theoretical foundations of category theory. In Reports of the Midwest Category Seminar. III, pages 201-247. Springer, Berlin, 1969.
16. [Fre12] Jonas Frey. Multiform preorders and partial combinatory algebras. http://www.pps.jussieu.fr/~frey/li2012.pdf, February 2012. Talk at Logic and interactions 2012.
17. [FS90] Peter J. Freyd and Andre Scedrov. Categories, allegories, volume 39 of North-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam, 1990.
18. [GL12] Richard Garner and Stephen Lack. Lex colimits. Journal of Pure and Applied Algebra, 216(6):1372-1396, 2012. arXiv:1107.0778.
19. [Hof04] P. J. W. Hofstra. Relative completions. J. Pure Appl. Algebra, 192(1-3):129-148, 2004.
20. [HT96] Hongde Hu and Walter Tholen. A note on free regular and exact completions and their infinitary generalizations. Theory and Applications of Categories, 2:113-132, 1996.
21. [JM94] A. Joyal and I. Moerdijk. A completeness theorem for open maps. Ann. Pure Appl. Logic, 70(1):51-86, 1994.
22. [Joh02] Peter T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. Number 43 in Oxford Logic Guides. Oxford Science Publications, 2002.
23. [Kar04] Panagis Karazeris. Notions of atness relative to a Grothendieck topology. Theory Appl. Categ., 11(5):225-236, 2004.
24. [Kel82] G. M. Kelly. Basic concepts of enriched category theory, volume 64 of London Mathematical Society Lecture Note Series. Cambridge University Press, 1982. Also available in Reprints in Theory and Applications of Categories, No. 10 (2005) pp. 1-136, at http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html.
25. [Kel91] G. M. Kelly. A note on relations relative to a factorization system. In Category theory (Como, 1990), volume 1488 of Lecture Notes in Math., pages 249-261. Springer, Berlin, 1991.
26. [Koc89] Anders Kock. Postulated colimits and left exactness of Kan-extensions. Aarhus Preprint 1989/90 no. 9, Retyped in TeX in the fall of 2003. Available at http://home.imf.au.dk/kock/, 1989.
27. [Lac99] Stephen Lack. A note on the exact completion of a regular category, and its infinitary generalizations. Theory Appl. Categ., 5:No. 3, 70-80 (electronic), 1999.
28. [Law74] F. William Lawvere. Metric spaces, generalized logic, and closed categories. Rend. Sem. Mat. Fis. Milano, 43:135-166, 1974. Reprinted as Repr. Theory Appl. Categ. 1:1-37, 2002.
29. [LS02] Stephen Lack and Ross Street. The formal theory of monads. II. J. Pure Appl. Algebra, 175(1-3):243-265, 2002. Special volume celebrating the 70th birthday of Professor Max Kelly.
30. [LS04] Stephen Lack and Paweł Sobociński. Adhesive categories. In Foundations of software science and computation structures, volume 2987 of Lecture Notes in Comput. Sci., pages 273-288. Springer, Berlin, 2004.
31. [LS12] Stephen Lack and Michael Shulman. Enhanced 2-categories and limits for lax morphisms. Advances in Mathematics, 229(1):294-356, 2012. arXiv:1104.2111.
32. [Lur09a] Jacob Lurie. Derived Algebraic Geometry V: Structured spaces. arXiv:0905.0459, 2009.
33. [Lur09b] Jacob Lurie. Higher topos theory. Number 170 in Annals of Mathematics Studies. Princeton University Press, 2009.
34. [Rob] David M. Roberts. Internal categories, anafunctors and localisations. arXiv:1101.2363.
35. [RR90] Edmund Robinson and Giuseppe Rosolini. Colimit completions and the effective topos. J. Symbolic Logic, 55(2):678-699, 1990.
36. [SC75] Rosanna Succi Cruciani. La teoria delle relazioni nello studio di categorie regolari e di categorie esatte. Riv. Mat. Univ. Parma (4), 1:143-158, 1975.
37. [Shu08] Michael Shulman. Framed bicategories and monoidal fibrations. Theory and Applications of Categories, 20(18):650-738 (electronic), 2008. arXiv:0706.1286.
38. [Str81a] Ross Street. Cauchy characterization of enriched categories. Rend. Sem. Mat. Fis. Milano, 51:217-233 (1983), 1981. Reprinted as Repr. Theory Appl. Categ. 4:1-16, 2004.
39. [Str81b] Ross Street. Notions of topos. Bull. Austral. Math. Soc., 23(2):199-208, 1981.
40. [Str83a] Ross Street. Absolute colimits in enriched categories. Cahiers Topologie Géom. Différentielle, 24(4):377-379, 1983.
41. [Str83b] Ross Street. Enriched categories and cohomology. In Proceedings of the Symposium on Categorical Algebra and Topology (Cape Town, 1981), volume 6, pages 265-283, 1983. Reprinted as Repr. Theory Appl. Categ. 14:1-18, 2005.
42. [Str84] Ross Street. The family approach to total cocompleteness and toposes. Trans. Amer. Math. Soc., 284(1):355-369, 1984.
43. [T+11] Todd Trimble, et al. Bicategories of relations. http://ncatlab.org/nlab/revision/bicategory+of+relations/14, August 2011.
44. [Wal81] R.F.C. Walters. Sheaves and Cauchy-complete categories. Cahiers Topologie Géom. Différentielle, 22(3):283-286, 1981. Third Colloquium on Categories, Part IV (Amiens, 1980).
45. [Wal82] R.F.C. Walters. Sheaves on sites as Cauchy-complete categories. J. Pure Appl. Algebra, 24(1):95-102, 1982.
46. [Wal09] R.F.C. Walters. Categorical algebras of relations. http://rfcwalters.blogspot.com/2009/10/categorical-algebras-of-relations.html, October 2009.
47. [Woo82] R. J. Wood. Abstract proarrows. I. Cahiers Topologie Géom. Différentielle, 23(3):279-290, 1982.
48. [Woo85] R. J. Wood. Proarrows. II. Cahiers Topologie Géom. Différentielle Catég., 26(2):135-168, 1985.