Pages that link to "Item:Q3005994"
From MaRDI portal
The following pages link to Initial algebras and terminal coalgebras in many-sorted sets (Q3005994):
Displaying 9 items.
- Fixed points of set functors: how many iterations are needed? (Q328655) (← links)
- Relatively terminal coalgebras (Q456862) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- (Q4580326) (← links)
- Strong functors on many-sorted sets (Q5218975) (← links)
- (Q5233738) (← links)
- Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Representations of superassociative algebras by commutative functions with different types (Q6650914) (← links)
