178
Voted
CALCO
9 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...
173
Voted
CALCO
9 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...
155
Voted
CALCO
9 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...
151
Voted
CALCO
9 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...
149
click to vote
CALCO
9 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...
|
Mathematics