Pages that link to "Item:Q5941160"
From MaRDI portal
The following pages link to Covarieties and complete covarieties (Q5941160):
Displaying 14 items.
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- Some co-Birkhoff type theorems (Q2842554) (← links)
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem (Q2842821) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- AUTOMATA AND TREE AUTOMATA AS (F<sub>1</sub>, F<sub>2</sub>)-COALGEBRAS (Q5324145) (← links)
- Varieties with Cofinal Sets: Examples and Amalgamation (Q5752631) (← links)
- Equational and implicational classes of coalgebras (Q5941159) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)
- On star expressions and completeness theorems (Q6653760) (← links)