245
click to vote
CALCO
10 years 28 days 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...
238
click to vote
CALCO
10 years 28 days 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...
219
click to vote
CALCO
10 years 28 days 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...
210
click to vote
CALCO
10 years 28 days 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...
208
click to vote
CALCO
10 years 28 days 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