Document Type
Conference Proceeding
Publication Date
2015
Abstract
We show that for a commutative quantale V every functor Set --> V-cat has an enriched left- Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.
Recommended Citation
A. Balan, A. Kurz, and J. Velebil, “Extensions of Functors From Set to V-cat,” Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2015. doi: 10.4230/LIPIcs.CALCO.2015.17
Copyright
The authors
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
Comments
This paper was originally presented at the Conference on Algebra and Coalgebra in Computer Science (CALCO) in 2015. DOI: 10.4230/LIPIcs.CALCO.2015.17