AI_Site

On Finitary Functors and Their Presentations

53e9b206b7602d9703c9f9d6  ·  Jiri Adamek,Stefan Milius,Lawrence S. Moss,Henning Urbat ·

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.

Code


Tasks


Datasets


Problems


Methods


Results from the Paper