The following pages link to Types and coalgebraic structure (Q2577729):
Displaying 23 items.
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- 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)
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) (Q742033) (← links)
- On minimal coalgebras (Q934670) (← links)
- Copower functors (Q1006640) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Free-lattice functors weakly preserve epi-pullbacks (Q2136297) (← links)
- Connected monads weakly preserve products (Q2310433) (← links)
- (Q2778813) (← links)
- On products of transition systems (Q2873664) (← links)
- Presentation of Set Functors: A Coalgebraic Perspective (Q3056295) (← links)
- Terminal Sequence Induction via Games (Q3623843) (← links)
- Type structures (Q3760531) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- (Q5028480) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
