Skip to main content
Log in

Presheaves Over a Join Restriction Category

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Cockett, J.R.B., Guo, X.: Stable meet semilattice fibrations and free restriction categories. Theory Appl. Categ. 16, 307–341 (2006)

    MathSciNet  MATH  Google Scholar 

  2. Cockett, J.R.B., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270, 223–259 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  3. Cockett, J.R.B., Lack, S.: Restriction categories II: partial map classification. Theor. Comput. Sci. 294, 61–102 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cockett, J.R.B., Manes, E.: Boolean and classical restriction categories. Math. Struct. Comput. Sci. 19, 357–416 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. DeWolf, D.: Restriction category perspectives of partial computation and geometry. Ph.D. Thesis, Dalhousie University (2017)

  6. Di Paola, R., Heller, A.: Dominical categories: recursion theory without elements. J. Symb. Log. 52, 594–635 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  7. Garner, R., Lin, D.: Cocompletion of restriction categories (under review)

  8. Grandis, M.: Cohesive categories and manifolds. Ann. Mat. Pura Appl. 157, 199–244 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  9. Guo, X.: Products, joins, meets and ranges in restriction categories. Ph.D. Thesis, University of Calgary (2012)

  10. Johnstone, P.: Sketches of an Elephant: A Topos Theory Compendium, vol. 1. Oxford University Press, New York (2002)

    MATH  Google Scholar 

  11. Kelly, G.M.: Basic Concepts of Enriched Category Theory. Cambridge University Press, Cambridge (1972) (Republished in Theory and Applications of Category, No. 10, 2005)

  12. Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, New York (1994)

    Book  MATH  Google Scholar 

  13. Robinson, E., Rosolini, G.: Categories of partial maps. Inf. Comput. 79, 95–130 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  14. Rosolini, G.: Continuity and effectiveness in topoi. Ph.D. Thesis, University of Oxford (1986)

  15. Street, R.: Cauchy characterization of enriched categories. Repr. Theory Appl. Categ. 4, 1–16 (2004)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daniel Lin.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-018-09555-5

Keywords

Mathematics Subject Classification

Navigation