Pages that link to "Item:Q5395107"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395107):
Displaying 13 items.
- Cofree coalgebras and multivariable recursiveness. (Q1413887) (← links)
- Families parametrized by coalgebras (Q1820859) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Regular Varieties of Automata and Coequations (Q2941177) (← links)
- (Q3408021) (← links)
- (Q3414292) (← links)
- (Q4499307) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem (Q5157915) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)
- Bases as coalgebras (Q5891175) (← links)
- The slice classification of categories of coalgebras for comonads (Q5932476) (← links)
- Exact sequences in categories of coalgebras (Q6655933) (← links)