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.
References
Bénabou, J.: Private communication (1972)
Bénabou, J.: Distributors at Work, Lecture notes by Thomas Streicher (http://www.mathematik.tu-darmstadt.de/streicher/) (2000)
Bénabou, J.: Les distributeurs, Rapport no. 33. Institut de Mathématique Pure et Appliquée, Université Catholique de Louvain (1973)
Berthiaume, P.: The Functor Evaluation, Reports of the Midwest Category Seminar, III, Lecture Notes in Mathematics, vol. 106, pp. 13–63. Springer, Berlin (1969)
Borceux, F.: A Handbook of Categorical Algebra I. Basic Category Theory, Encyclopedia of Mathematics and its Applications, vol. 50. Cambridge University Press, Cambridge (1994)
Carboni, A., Kelly, G.M., Walters, R.F.C., Wood, R.J.: Cartesian bicategories II. Theory and Appl. Categ. 19(6), 93–124 (2008)
Diers, Y.: Familles universelles de morphismes. Ann. Soc. Sci. Bruxelles 93(III), 175–195 (1979)
Grandis, M., Paré, R.: Adjoint for double categories, Cahiers Topologie Géom. Différentielle Catég. 45, 193–240 (2004)
Kock, A.: Limit Monads in Categories. Aarhus University Preprint, 1967/68, no. 6.
Johnstone, P.T.: Topos Theory. Academic Press, New York (1977)
Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. Oxford University Press (2002)
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)
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)
Lawere, F.W.: Oberwolfach (1966)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics, vol. 5. Springer-Verlag, New York (1998)
Paré, R.: Yoneda theory for double categories. Theory Appl. Categ. 25(17), 436–489 (2011)
Paré, R.: Composition of modules for lax functors. Theory Appl. Categ. 27(16), 393–444 (2013)
Paré, R.: Deterministic Profunctors, in preparation
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)
Thiébaud, M.: Self-dual Structure-Semantics and Algebraic Categories, PhD Thesis. Dalhousie University (1971)
Wood, R.J.: Abstract proarrows, I Cahiers Topologie Géom. Différentielle 23(3), 279–290 (1983)
Wood, R.J.: Proarrows, II, Cahiers Topologie Géom. Différentielle Catég. 26(2), 135–168 (1985)
Author information
Authors and Affiliations
Corresponding author
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-013-9357-0