#### Filter Results:

#### Publication Year

2010

2015

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

We extend Barr's well-known characterization of the final coalgebra of a Set-endofunctor H as the completion of its initial algebra to the Eilenberg-Moore category Alg(M) of algebras associated to a Set-monad M, if H can be lifted to Alg(M). As further analysis, we introduce the notion of commuting pair of endofunctors (T, H) with respect to a monad M and… (More)

Motivation Most of coalgebraic logic is focussed on Set-coalgebras and their associated (Boolean) logics. Investigation of coalgebraic logic over Poset already started – expressivity results [Kurz-Kapulkin-Velebil CMCS2010]. Would deserve a systematic investigation of Poset-functors and their coalgebras. In this talk: we restrict on how to move from… (More)

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide… (More)

We show that for a commutative quantale V every functor Set −→ V-cat has an enriched left-Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric. 1 Introduction Coalgebras for a functor T : Set −→ Set capture a wide variety of dynamic… (More)

- ‹
- 1
- ›