Extensions of Functors From Set to V-cat

Authors Adriana Balan, Alexander Kurz, Jiri Velebil



PDF
Thumbnail PDF

File

LIPIcs.CALCO.2015.17.pdf
  • Filesize: 0.61 MB
  • 18 pages

Document Identifiers

Author Details

Adriana Balan
Alexander Kurz
Jiri Velebil

Cite AsGet BibTex

Adriana Balan, Alexander Kurz, and Jiri Velebil. Extensions of Functors From Set to V-cat. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 17-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.CALCO.2015.17

Abstract

We show that for a commutative quantale V every functor from Set to 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.
Keywords
  • enriched category
  • quantale
  • final coalgebra

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail