CALCO
2015
Springer
8 years 8 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...
CALCO
2015
Springer
8 years 8 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...
CALCO
2015
Springer
8 years 8 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...
CALCO
2015
Springer
8 years 8 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...
CALCO
2015
Springer
8 years 8 months ago
2015
Springer
A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watana...
CALCO
2015
Springer
8 years 8 months ago
2015
Springer
More than a decade has passed since Herbrand’s theorem was first generalized to arbitrary institutions, enabling in this way the development of the logic-programming paradigm o...
CALCO
2015
Springer
8 years 8 months ago
2015
Springer
CALCO
2015
Springer
8 years 8 months ago
2015
Springer
We extend earlier work on linear time fixpoint logics for coalgebras with branching, by showing how propositional operators arising from the choice of branching monad can be cano...
CALCO
2015
Springer
8 years 8 months ago
2015
Springer
We give a technique to construct a final coalgebra in which each element is a set of formulas of modal logic. The technique works for both the finite and the countable powerset ...
CALCO
2015
Springer
8 years 8 months ago
2015
Springer
We propose a generalization of higher-dimensional automata, partial HDA. Unlike HDA, and also extending event structures and Petri nets, partial HDA can model phenomena such as pr...