AbstractWe show that the category of coalgebras of a wide-pullback preserving endofunctor on a category of presheaves is itself a category of presheaves. This illustrates a connection between Jacobs' temporal logic of coalgebras and Ghilardi and Meloni's presheaf semantics for modal logic
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the comp...
AbstractFor deterministic systems, expressed as coalgebras over polynomial functors, every tree t (a...
10.8> T 2 (X) of two polynomial functors T 1 and T 2 . 5. The exponent X 7! T 1 (X) A for a xed...
AbstractWe show that the category of coalgebras of a wide-pullback preserving endofunctor on a categ...
AbstractPresheaf categories are well-known to be varieties of algebras and covarieties of coalgebras...
AbstractConsideration of categories of transition systems and related constructions leads to the stu...
AbstractWe prove that every finitary polynomial endofunctor of a category C has a fin...
AbstractThe notion of an endofunctor having “greatest subcoalgebras” is introduced as a form of comp...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of...
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of...
AbstractFollowing earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety....
AbstractFor any Set-endofunctor F, the category SetF of F-coalgebras has preimages, i.e. pullbacks a...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the comp...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the comp...
AbstractFor deterministic systems, expressed as coalgebras over polynomial functors, every tree t (a...
10.8> T 2 (X) of two polynomial functors T 1 and T 2 . 5. The exponent X 7! T 1 (X) A for a xed...
AbstractWe show that the category of coalgebras of a wide-pullback preserving endofunctor on a categ...
AbstractPresheaf categories are well-known to be varieties of algebras and covarieties of coalgebras...
AbstractConsideration of categories of transition systems and related constructions leads to the stu...
AbstractWe prove that every finitary polynomial endofunctor of a category C has a fin...
AbstractThe notion of an endofunctor having “greatest subcoalgebras” is introduced as a form of comp...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the co...
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of...
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of...
AbstractFollowing earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety....
AbstractFor any Set-endofunctor F, the category SetF of F-coalgebras has preimages, i.e. pullbacks a...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the comp...
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the comp...
AbstractFor deterministic systems, expressed as coalgebras over polynomial functors, every tree t (a...
10.8> T 2 (X) of two polynomial functors T 1 and T 2 . 5. The exponent X 7! T 1 (X) A for a xed...
DOI
Add to ORKG