Universal properties of span

Theory and Applications of Categories

Volumn 13, Issue 4, 2004, Pages 61-85

  Dawson, R J Macg ^a   Pare R ^a   Pronk, D A ^a  

^a DALHOUSIE UNIVERSITY   (Canada)

Author keywords

Adjoints; Beck condition; Jointed oplax morphisms; Localizations; Sinister morphisms; Span; Universal property

Indexed keywords

EID: 33646394348     PISSN: 1201561X     EISSN: 1201561X     Source Type: Journal    
DOI: None     Document Type: Article

References (31)

1. [Bé1] Bénabou, J., Introduction to bicategories, in Reports of the Midwest Category Seminar, Lecture Notes in Mathematics, Vol. 47, pp. 1-77, Springer-Verlag, New York/Berlin, 1967.
2. [Bé2] Bénabou, J., Les Distributeurs, Univ. Cath. de Louvain, Inst, de Mathématique Pure et Appliquée, rapport 33, 1973.
3. [BW] Betti, R., Walters, R. F. C., On completeness of locally-internal categories, J. Pure Appl. Algebra 47 (1987), pp. 105-117.
4. [BCSW] Betti, R., Carboni, A., Street, R., Walters, R., Variation through enrichment, J. Pure Appl. Algebra 29 (1983), pp. 109-127.
5. [Br] Brinkmann, H. B., Relations for groups and for exact categories, in Category Theory, Homotopy Theory and their Applications, Lecture Notes in Mathematics, Vol. 92, P. Hilton Ed., pp. 1-9, Springer Verlag, New York/Berlin, 1969.
6. [CHT] Clementino, M. M., Hofmann, D., Tholen, W., Exponentiability in categories of lax algebras, Theory Appl. Categ. 11 (2003), p. 337-352.
7. [CKS] Carboni, A., Kasangian, S., Street, R., Bicategories of spans and relations, J. Pure Appl. Algebra 33 (1984), pp. 259-267.
8. [CKW] Carboni, A., Kelly, G. M., Wood, R. J., A 2-categorical approach to change of base and geometric morphisms I. Cahiers Topologie Géom. Différentielle Catég., Vol. XXXII-1 (1991), pp. 47-95.
9. [CKVW] Carboni, A., Kelly, G. M., Verity, D., Wood, R. J., A 2-categorical approach to change of base and geometric morphisms II, Theory Appl. Categ. 4 (1998), pp. 82-136.
10. [CR] Carboni, A., Rosebrugh, R., Lax monads - indexed monoidal monads, J. Pure Appl. Alg. 76 (1991), pp. 13-32.
11. [DMS] Day, B. J., McCrudden, P., Street, R., Dualizations and antipodes, Appl. Categ. Struct. 11 (2003) pp. 229-260.
12. [DPP] Dawson, R. J. M., Paré, R., Pronk, D. A., Adjoining adjoints, Adv. in Math. 178 (2003), pp. 99-140.
13. [GP1] Grandis, M., Paré, R., Limits in double categories, Cahiers Topologie Géom. Différentielle Catég., Vol. XL-3 (1999), pp. 162-220.
14. [He1] Hermida, G., Representable multicategories, Advances in Mathematics 151 (2000), pp. 164-225.
15. [He2] Hermida, C., A categorical outlook on relational modalities and simulations, preprint.
16. [Hi] Hilton, P., Correspondences and exact squares, in Proceedings of the Conference on Categorical Algebra, La Jolla 1965, pp. 254-271, Springer Verlag, New York/Berlin, 1966.
17. [JRW] Johnson, M., Rosebrugh, R., Wood, R. J., Entity-relationship- attribute designs and sketches, Theory Appl. Categ. 10 (2002), pp. 94-112.
18. [Ka] Kan, D. M., Adjoint functors, Trans. Amer. Math. Soc. 87 (1958) pp. 294-329.
19. [KSW] Katis, P., Sabadini, N., Walters, R. F. G., Bicategories of processes, J. Pure Appl. Algebra 115 (1997), pp. 141-178.
20. [Ke] Kelly, G. M., On clubs and doctrines, in Category Seminar (Proc. Sem., Sydney, 1972/1973), Springer Lecture Notes, Vol. 420, pp. 181-256, Springer Verlag, New York/Berlin, 1974.
21. [KS] Kelly, G. M., Street, R., Review of the elements of 2-categories, in Category Seminar (Proc. Sem., Sydney, 1972/1973), Springer Lecture Notes, Vol. 420, pp. 75-103, Springer Verlag, New York/Berlin, 1974.
22. [Ko] Kock, A., Strong functors and monoidal monads, Arch. Math. 23 (1972), pp.113-120.
23. [Lam] Lambek, J., Goursat's theorem and the Zassenhaus lemma, Can. J. Math 10 (1958), pp. 45-56.
24. [Law] Lawvere, F. W., Metric spaces, generalized logic and closed categories, Rendiconti del Seminario Matematico e Fisico di Milano, XLIII (1973), 135-166.
25. Republished in: Reprints in Theory and Applications of Categories, 1 (2002), pp. 1-37.
26. [M1] Mac Lane, S., An algebra of additive relations, Proc. Nat. Acad. Sci., USA 47 (1961), pp. 1043-1051.
27. [M2] Mac Lane, S., Categories for the Working Mathematician, 2nd ed'n, Springer Verlag, New York/Berlin, 1997.
28. [MP] Mac Lane, S., Paré, R., Coherence for bicategories and indexed categories, J. Pure and Appl. Alg. 37 (1985), pp. 59-80.
29. [P] Puppe, D., Korrespondenzen in abelsche Kategorien, Math. Annal. 148 (1962), pp. 1-30.
30. [RSW] Rosebrugh, R., Sabadini, N., Walters, R. F. C., Minimal realization in bicategories of automata, Mathematical Structures in Computer Science 8 (1998), pp. 93-116.
31. [SS] Schanuel, S., Street, R., The free adjunction, Cahiers Topologie Géom. Differentielle Catégoriques 27 (1986), pp. 81-83.