Skip to main content
Log in

Abstract

A general kind of morphism of diagrams in a category is introduced. It is the most general notion of morphism which induces a morphism between the colimits of the diagrams. The sense in which it is the most general is made precise. It is expressed in terms of total profunctors which generalize everywhere defined relations. Their functorial properties are developed leading to the notion of cohesive family of diagrams. A complementary notion of deterministic profunctor is also introduced generalizing single valuedness.

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

References

  1. Bénabou, J.: Private communication (1972)

  2. Bénabou, J.: Distributors at Work, Lecture notes by Thomas Streicher (http://www.mathematik.tu-darmstadt.de/streicher/) (2000)

  3. Bénabou, J.: Les distributeurs, Rapport no. 33. Institut de Mathématique Pure et Appliquée, Université Catholique de Louvain (1973)

    Google Scholar 

  4. Berthiaume, P.: The Functor Evaluation, Reports of the Midwest Category Seminar, III, Lecture Notes in Mathematics, vol. 106, pp. 13–63. Springer, Berlin (1969)

  5. Borceux, F.: A Handbook of Categorical Algebra I. Basic Category Theory, Encyclopedia of Mathematics and its Applications, vol. 50. Cambridge University Press, Cambridge (1994)

  6. Carboni, A., Kelly, G.M., Walters, R.F.C., Wood, R.J.: Cartesian bicategories II. Theory and Appl. Categ. 19(6), 93–124 (2008)

    Google Scholar 

  7. Diers, Y.: Familles universelles de morphismes. Ann. Soc. Sci. Bruxelles 93(III), 175–195 (1979)

    MATH  MathSciNet  Google Scholar 

  8. Grandis, M., Paré, R.: Adjoint for double categories, Cahiers Topologie Géom. Différentielle Catég. 45, 193–240 (2004)

    MATH  Google Scholar 

  9. Kock, A.: Limit Monads in Categories. Aarhus University Preprint, 1967/68, no. 6.

  10. Johnstone, P.T.: Topos Theory. Academic Press, New York (1977)

    MATH  Google Scholar 

  11. Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. Oxford University Press (2002)

  12. Kelly, G.M.: Basic Concepts of Enriched Category Theory. Cambridge University Press, Lecture Notes in Mathematics, (64) (1982). Republished in: Reprints in Theory and Applications of Categories, (10), pp. 1–136 (2005)

  13. Lawere, F.W.: Metric spaces, generalized logic and closed categories, Rendiconti del Seminario Matematico e Fisico di Milano, XLIII (1973), pp. 135–166. Republished in: Reprints in Theory and Applications of Categories, (1), pp. 1–37 (2002)

  14. Lawere, F.W.: Oberwolfach (1966)

  15. Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics, vol. 5. Springer-Verlag, New York (1998)

  16. Paré, R.: Yoneda theory for double categories. Theory Appl. Categ. 25(17), 436–489 (2011)

    MATH  MathSciNet  Google Scholar 

  17. Paré, R.: Composition of modules for lax functors. Theory Appl. Categ. 27(16), 393–444 (2013)

    Google Scholar 

  18. Paré, R.: Deterministic Profunctors, in preparation

  19. Street, R.: Cauchy characterization of enriched categories, Rendiconti del Seminario Matematico e Fisico di Milano, 51(1981), 217–233. Republished in: Reprints in Theory and Applications of Categories, No. 4, pp. 1–16 (2004)

  20. Thiébaud, M.: Self-dual Structure-Semantics and Algebraic Categories, PhD Thesis. Dalhousie University (1971)

  21. Wood, R.J.: Abstract proarrows, I Cahiers Topologie Géom. Différentielle 23(3), 279–290 (1983)

    Google Scholar 

  22. Wood, R.J.: Proarrows, II, Cahiers Topologie Géom. Différentielle Catég. 26(2), 135–168 (1985)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Robert Paré.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Paré, R. Morphisms of Colimits: from Paths to Profunctors. Appl Categor Struct 23, 1–28 (2015). https://doi.org/10.1007/s10485-013-9357-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-013-9357-0

Keywords

Mathematics Subject Classifications (2010)

Navigation