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

• Type: Journal
• Year: 2015
• Where: CALCO
• Authors: Adriana Balan, Alexander Kurz, Jiri Velebil
• Keywords: CALCO 2015, Mathematics