Abstract
Just as the presheaf category is the free cocompletion of any small category, there is an analogous notion of free cocompletion for any small restriction category. In this paper, we extend the work on restriction presheaves to presheaves over join restriction categories, and show that the join restriction category of join restriction presheaves is equivalent to some partial map category of sheaves. We then use this to show that the Yoneda embedding exhibits the category of join restriction presheaves as the free cocompletion of any small join restriction category.
Similar content being viewed by others
References
Cockett, J.R.B., Guo, X.: Stable meet semilattice fibrations and free restriction categories. Theory Appl. Categ. 16, 307–341 (2006)
Cockett, J.R.B., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270, 223–259 (2002)
Cockett, J.R.B., Lack, S.: Restriction categories II: partial map classification. Theor. Comput. Sci. 294, 61–102 (2003)
Cockett, J.R.B., Manes, E.: Boolean and classical restriction categories. Math. Struct. Comput. Sci. 19, 357–416 (2009)
DeWolf, D.: Restriction category perspectives of partial computation and geometry. Ph.D. Thesis, Dalhousie University (2017)
Di Paola, R., Heller, A.: Dominical categories: recursion theory without elements. J. Symb. Log. 52, 594–635 (1987)
Garner, R., Lin, D.: Cocompletion of restriction categories (under review)
Grandis, M.: Cohesive categories and manifolds. Ann. Mat. Pura Appl. 157, 199–244 (1990)
Guo, X.: Products, joins, meets and ranges in restriction categories. Ph.D. Thesis, University of Calgary (2012)
Johnstone, P.: Sketches of an Elephant: A Topos Theory Compendium, vol. 1. Oxford University Press, New York (2002)
Kelly, G.M.: Basic Concepts of Enriched Category Theory. Cambridge University Press, Cambridge (1972) (Republished in Theory and Applications of Category, No. 10, 2005)
Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, New York (1994)
Robinson, E., Rosolini, G.: Categories of partial maps. Inf. Comput. 79, 95–130 (1988)
Rosolini, G.: Continuity and effectiveness in topoi. Ph.D. Thesis, University of Oxford (1986)
Street, R.: Cauchy characterization of enriched categories. Repr. Theory Appl. Categ. 4, 1–16 (2004)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Stephen Lack.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The support of a Macquarie University Research Scholarship is gratefully acknowledged.
Rights and permissions
About this article
Cite this article
Lin, D. Presheaves Over a Join Restriction Category. Appl Categor Struct 27, 289–310 (2019). https://doi.org/10.1007/s10485-018-09555-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-018-09555-5