434 search results - page 11 / 87 » Monadic Bounded Algebras |
ACS
2005
13 years 9 months ago
2005
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well ...
LFP
1990
13 years 11 months ago
1990
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970�...
IJIIDS
2010
13 years 4 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
The study of constraint satisfaction problems definable in various fragments of Datalog has recently gained considerable importance. We consider constraint satisfaction problems ...
DLT
2004
13 years 11 months ago
2004
New results on the recognizability of sets of finite graphs, hypergraphs and relational structures are presented. The general framework of this research which associates tightly a...