128
click to vote
RV
2015
Springer
10 years 1 months ago
2015
Springer
Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. However, a simple ‘yes’ or ‘no’ answer may not ...
241
click to vote
CALCO
2015
Springer
10 years 1 months ago
2015
Springer
For predual categories C and D we establish isomorphisms between opfibrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and finitely ge...
230
click to vote
CALCO
2015
Springer
10 years 1 months ago
2015
Springer
Modules over monads (or: actions of monads on endofunctors) are structures in which a monad interacts with an endofunctor, composed either on the left or on the right. Although us...
264
click to vote
CALCO
2015
Springer
10 years 1 months ago
2015
Springer
We introduce a method to lift monads on the base category of a fibration to its total category using codensity monads. This method, called codensity lifting, is applicable to var...
232
click to vote
CALCO
2015
Springer
10 years 1 months ago
2015
Springer
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...