Skip to main content
SpringerLink
Log in

Representation of Relations by Partial Maps

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

With the notions of partial morphism and relation to be understood with respect to a class M of monomorphisms in a finitely complete category C, we give sufficient conditions for the graph functor Par(C) → Rel(C) to admit a right adjoint. Only under an additional condition is this right adjoint given by the naturally constructed `pierced power objects".

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

Access this article

Log in via an institution

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. Borceux, F.: Handbook of Categorical Algebra, Vols. 1–3, Cambridge University Press, Cambridge, 1994.

    Google Scholar 

  2. Barr, M. and Wells, C.: Toposes, Triples and Theories, Springer-Verlag, New York, 1985.

    Google Scholar 

  3. Carboni, A., Kelly, G. M., and Wood, R. J.: A 2–categorical approach to change of base and geometric morphisms I, Cahiers Topologie Géom. Différentielle Catégoriques 32(1991), 47–95.

    Google Scholar 

  4. Dong, X.: Representation of Partial Maps and Relations, and the Span-Map Adjunction, PhD Thesis, York University, September 1996.

  5. Dyckhoff, R. and Tholen, W.: Exponentiable morphisms, partial products and pullback complements, J. Pure Appl. Algebra 49(1987), 103–116.

    Google Scholar 

  6. Fiore, M. P.: Order-enrichment for categories of partial maps, Math. Struct. in Comp. Science, 5(1995), 533–562.

    Google Scholar 

  7. Freyd, P. J. and Kelly, G. M.: Categories of continuous functors I, J. Pure Appl. Algebra 2(1972), 169–191.

    Google Scholar 

  8. Jay, C. B.: Extending Properties to Categories of Partial Maps, Technical Report, LFCS, Department of Computer Science, University of Edinburgh, February 1990.

  9. Jay, C. B.: Partial functions, ordered categories, limits and cartesian closure, in IV Higher Order Workshop, Banff, 1991, pp. 151–161.

  10. Klein, E. and Thompson, A. C.: Theory of Correspondences. Including Applications to Mathematical Economics, Wiley, New York, 1984.

    Google Scholar 

  11. Pavlovi´c, D.:Maps I: Relative to a factorization system, J. Pure Appl. Algebra 99(1995), 9–34.

    Google Scholar 

  12. Robinson, E. and Rosolini, G.: Categories of partial maps, Inform. Computation 79(1988), 95–130.

    Google Scholar 

  13. Wyler, O.: Lecture Notes on Topoi and Quasitopoi, World Scientific, Singapore, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Statistics, York University, North York, Canada, M3J 1P3 e-mail

    Xiaomin Dong

  2. Department of Mathematics and Statistics, York University, North York, Canada, M3J 1P3 e-mail

    Walter Tholen

Authors
  1. Xiaomin Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Walter Tholen
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dong, X., Tholen, W. Representation of Relations by Partial Maps. Applied Categorical Structures 8, 339–350 (2000). https://doi.org/10.1023/A:1008663927335

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008663927335

Search

Navigation