Distributive categories of coalgebras

Distributive categories of coalgebras

Bibliographic Details
Main Author:	Jean-Paul Mavoungou
Format:	Article
Language:	English
Published:	University of Zielona Góra 2023-01-01
Series:	Discussiones Mathematicae - General Algebra and Applications
Online Access:	https://www.dmgaa.uz.zgora.pl/?doi=10.7151/dmgaa.1426

Similar Items

Braided monoidal categories of coalgebras
by: Jean-Paul Mavoungou
Published: (2023-12-01)

On the structure of categories of coalgebras
by: Johnstone, P, et al.
Published: (2001)

Categories of processes enriched in final coalgebras
by: Krsti/'c, S, et al.
Published: (2001)

Lifting Coalgebra Modalities and $\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
by: Jean-Simon Pacaud Lemay
Published: (2019-11-01)

Bases as Coalgebras
by: Bart Jacobs
Published: (2013-09-01)

Well-Pointed Coalgebras
by: Jiří Adámek, et al.
Published: (2013-08-01)

Coalgebraic Behavioral Metrics
by: Paolo Baldan, et al.
Published: (2018-09-01)

Duality for powerset coalgebras
by: Guram Bezhanishvili, et al.
Published: (2022-02-01)

Rational streams coalgebraically
by: J. J. M. M. Rutten
Published: (2008-09-01)

Cofree compositions of coalgebras
by: Stefan Forcey, et al.
Published: (2011-01-01)

Fuzzy Automata as Coalgebras
by: Ai Liu, et al.
Published: (2021-01-01)

Coalgebras on Digital Images
by: Sunyoung Lee, et al.
Published: (2020-11-01)

On coalgebra of real numbers
by: Pavlovic, D, et al.
Published: (1999)

On coalgebras and final semantics
by: Worrell, J
Published: (2000)

Strongly Complete Logics for Coalgebras
by: Alexander Kurz, et al.
Published: (2012-09-01)

Conway games, algebraically and coalgebraically
by: Furio Honsell, et al.
Published: (2011-09-01)

Completeness for the coalgebraic cover modality
by: Clemens Kupke, et al.
Published: (2012-07-01)

Moss' logic for ordered coalgebras
by: Marta Bílková, et al.
Published: (2022-08-01)

Relating coalgebraic notions of bisimulation
by: Sam Staton
Published: (2011-03-01)

Non-Deterministic Kleene Coalgebras
by: Alexandra Silva, et al.
Published: (2010-09-01)

Positive fragments of coalgebraic logics
by: Adriana Balan, et al.
Published: (2015-09-01)

On the final coalgebra of automatic sequences
by: Kupke, C, et al.
Published: (2011)

Guarded induction on final coalgebras
by: ́Pavlovic, D
Published: (1998)

Coalgebraic aspects of bidirectional computation
by: Abou-Saleh, F, et al.
Published: (2017)

The continuum as a final coalgebra
by: Pavlovic, D, et al.
Published: (2002)

Coalgebraic semantics of modal logics: An overview
by: Kupke, C, et al.
Published: (2011)

Optimal tableau algorithms for coalgebraic logics
by: Goré, R, et al.
Published: (2010)

Generalizing determinization from automata to coalgebras
by: Alexandra Silva, et al.
Published: (2013-03-01)

Coalgebraic Characterizations of Context-Free Languages
by: Joost Winter, et al.
Published: (2013-09-01)

EXPTIME Tableaux for the Coalgebraic mu-Calculus
by: Corina Cirstea, et al.
Published: (2011-08-01)

Coalgebraic Infinite Traces and Kleisli Simulations
by: Natsuki Urabe, et al.
Published: (2018-09-01)

Efficient and Modular Coalgebraic Partition Refinement
by: Thorsten Wißmann, et al.
Published: (2020-01-01)

Coalgebraic Semantics for Probabilistic Logic Programming
by: Tao Gu, et al.
Published: (2021-04-01)

Coalgebraic Geometric Logic: Basic Theory
by: Nick Bezhanishvili, et al.
Published: (2022-12-01)

Coalgebraic Automata Theory: Basic Results
by: C. Kupke, et al.
Published: (2008-11-01)

EXPTIME Tableaux for the Coalgebraic mu−Calculus
by: Cirstea, C, et al.
Published: (2011)

Exptime tableaux for the coalgebraic μ-calculus
by: Cîrstea, C, et al.
Published: (2011)

Relating Algebraic and Coalgebraic Descriptions of Lenses
by: Gibbons, J, et al.
Published: (2012)

Coalgebraic semantics of modal logics: An overview
by: Kupke, C, et al.
Published: (2011)

Coalgebras for Bisimulation of Weighted Automata over Semirings
by: Purandar Bhaduri
Published: (2023-01-01)