The following pages link to Types and coalgebraic structure (Q2577729):
Displayed 8 items.
- Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem (Q535113) (← links)
- Algebraic lattices and locally finitely presentable categories (Q539981) (← links)
- On universal categories of coalgebras (Q607458) (← links)
- The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras (Q607460) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- On minimal coalgebras (Q934670) (← links)
- Copower functors (Q1006640) (← links)
- Terminal Sequence Induction via Games (Q3623843) (← links)