210
click to vote
CASC
9 years 10 months ago
2015 Springer 
Abstract. In this paper we present the computer-supported theory exploration, including both formalization and verification, of a theory in commutative algebra, namely the theory ...
205
click to vote
CALCO
9 years 10 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...
200
click to vote
CALCO
9 years 10 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...
199
click to vote
CASC
9 years 10 months ago
2015 Springer 
Abstract. Recently, the authors presented a novel approach to computing resolutions and Betti numbers using Pommaret bases. For Betti numbers, this algorithm is for most examples m...
186
click to vote
CALCO
9 years 10 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...
|
Mathematics