On finitary functors and their presentations. (English) Zbl 1328.18005
Summary: Finitary endofunctors of locally presentable categories are proved to have equational presentations. Special attention is being paid to the category of complete metric spaces and two endofunctors: the Hausdorff functor of all compact subsets and the Kantorovich functor of all tight measures.
MSC:
| 18C35 | Accessible and locally presentable categories |
| 18A22 | Special properties of functors (faithful, full, etc.) |
| 18C10 | Theories (e.g., algebraic theories), structure, and semantics |
| 54B30 | Categorical methods in general topology |
References:
| [1] | Abramsky, S.; Jung, A., Domain Theory, Handbook of Logic in Computer Science (1994), Clarendon Press: Clarendon Press Oxford · Zbl 0829.68111 |
| [2] | Adámek, J., Free algebras and automata realizations in the language of categories, Comment. Math. Univ. Carol., 15, 589-609 (1974) · Zbl 0293.18006 |
| [3] | Adámek, J.; Rosický, J., Locally Presentable and Accessible Categories (1993), Cambridge University Press · Zbl 0795.18007 |
| [4] | Adámek, J.; Trnkov��, V., Automata and Algebras in Categories (1990), Kluwer Academic Publ.: Kluwer Academic Publ. Dordrecht · Zbl 0698.18001 |
| [5] | Adámek, J.; Trnková, V., Relatively terminal coalgebras, J. Pure Appl. Algebra, 216, 1887-1895 (2012) · Zbl 1266.18002 |
| [6] | Barr, M., Terminal coalgebras in well-founded set theory, Theor. Comput. Sci., 114, 299-315 (1993) · Zbl 0779.18004 |
| [7] | Borceux, F., Handbook of Categorical Algebra, vol. 2 (1994), Cambridge University Press · Zbl 0911.18001 |
| [8] | van Breugel, F.; Hermida, C.; Makkai, M.; Worrell, J., Recursively defined metric spaces without contraction, Theor. Comput. Sci., 380, 143-163 (2007) · Zbl 1118.68085 |
| [9] | van Breugel, F.; Hermida, C.; Makkai, M.; Worrell, J., Addendum to “Recursively defined metric spaces without contraction”, Theor. Comput. Sci., 492, 117-122 (2013) · Zbl 1294.68108 |
| [10] | van Breugel, F.; Worrell J, J., A behavioral pseudometric for probabilistic transition systems, Theor. Comput. Sci., 331, 115-142 (2005) · Zbl 1070.68109 |
| [11] | Heckmann, R., Probabilistic Domains, 142-156 (1994), CAAP · Zbl 0938.68716 |
| [12] | Kantorovich, L. V., On the translocation of masses, Dokl. Akad. Nauk SSSR, 37, 227-229 (1942) |
| [13] | Kelly, G. M.; Power, J., Adjunctions whose counits are coequalizers and presentations of finitary enriched monads, J. Pure Appl. Algebra, 89, 163-179 (1993) · Zbl 0779.18003 |
| [14] | Korte, B.; Vygen, J., Combinatorial Optimization (2010), Springer |
| [15] | Lawvere, F. W., Functional semantics of algebraic theories (1963), Columbia University, Dissertation · Zbl 0119.25901 |
| [16] | Makkai, M.; Paré, R., Accessible Categories (1989), Amer. Math. Soc.: Amer. Math. Soc. Providence, Rhode Island · Zbl 0703.03042 |
| [17] | Parthasarathy, K. R., Probability Measures on Metric Spaces (1989), AP · Zbl 0751.46038 |
| [18] | Urbat, H., Kantorovich functor (October 2012), Technische Universität Braunschweig, Available under |
| [19] | Velebil, J.; Kurz, A., Equational presentations of functors and monads, Math. Struct. Comput. Sci., 21, 363-381 (2011) · Zbl 1235.18003 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
