Sciweavers

CALCO
2015
Springer

Extensions of Functors From Set to V-cat

7 years 11 months ago
Extensions of Functors From Set to V-cat
We show that for a commutative quantale V every functor Set −→ V-cat has an enriched leftKan 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. 1998 ACM Subject Classification F.4.1 Mathematical Logic Keywords and phrases enriched category, quantale, final coalgebra Digital Object Identifier 10.4230/LIPIcs.CALCO.2015.17
Adriana Balan, Alexander Kurz, Jiri Velebil
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CALCO
Authors Adriana Balan, Alexander Kurz, Jiri Velebil
Comments (0)