| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 429996 | Journal of Computer and System Sciences | 2015 | 21 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jiří Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat,