2 search results - page 1 / 1 » Presenting functors on many-sorted varieties and application... |
103
Voted
IANDC
2010
15 years 14 days ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
126
click to vote
ENTCS
2008
15 years 2 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...