On Finitary Functors and Their Presentations
Abstract
Finitary endofunctors of locally presentable categories are proved to have equational presentations. Special attention is paid to the Hausdorff functor of non-empty compact subsets of a complete metric space.
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
