We show that for a commutative quantale V every functor Set --\u3e 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
One way of interpreting a left Kan extension is as taking a kind of “partial colimit”, whereby one r...
It is a well-known fact that a nondeterministic automaton can be trans-formed into an equivalent det...
In this article we study function spaces (rise) and descent (fall) in quantale-enriched categories, ...
We show that for a commutative quantale V every functor Set --\u3e V-cat has an enriched left- Kan e...
We show that for a commutative quantale V every functor from Set to V-cat has an enriched left-Kan e...
For a commutative quantale V, the category V-cat can be perceived as a category of generalised metri...
For a commutative quantale V, the category V-cat can be perceived as a category of generalised metri...
For a commutative quantale V, the category V-cat can be perceived as a category of generalised metri...
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ canbe perceived as a catego...
We introduce basic notions and results about relation liftings on categories enriched in a commutati...
We introduce basic notions and results about relation liftings on categories enriched in a commutati...
summary:It is shown that every concretizable category can be fully embedded into the category of acc...
summary:It is shown that every concretizable category can be fully embedded into the category of acc...
Coalgebras for a functor model different types of transition systems in a uniform way. This paper fo...
Coalgebras for a functor model different types of transition systems in a uniform way. This paper fo...
One way of interpreting a left Kan extension is as taking a kind of “partial colimit”, whereby one r...
It is a well-known fact that a nondeterministic automaton can be trans-formed into an equivalent det...
In this article we study function spaces (rise) and descent (fall) in quantale-enriched categories, ...
We show that for a commutative quantale V every functor Set --\u3e V-cat has an enriched left- Kan e...
We show that for a commutative quantale V every functor from Set to V-cat has an enriched left-Kan e...
For a commutative quantale V, the category V-cat can be perceived as a category of generalised metri...
For a commutative quantale V, the category V-cat can be perceived as a category of generalised metri...
For a commutative quantale V, the category V-cat can be perceived as a category of generalised metri...
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ canbe perceived as a catego...
We introduce basic notions and results about relation liftings on categories enriched in a commutati...
We introduce basic notions and results about relation liftings on categories enriched in a commutati...
summary:It is shown that every concretizable category can be fully embedded into the category of acc...
summary:It is shown that every concretizable category can be fully embedded into the category of acc...
Coalgebras for a functor model different types of transition systems in a uniform way. This paper fo...
Coalgebras for a functor model different types of transition systems in a uniform way. This paper fo...
One way of interpreting a left Kan extension is as taking a kind of “partial colimit”, whereby one r...
It is a well-known fact that a nondeterministic automaton can be trans-formed into an equivalent det...
In this article we study function spaces (rise) and descent (fall) in quantale-enriched categories, ...
DOI
Add to ORKG