Pages that link to "Item:Q3512598"
From MaRDI portal
The following pages link to Recursive coalgebras of finitary functors (Q3512598):
Displaying 13 items.
- The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras (Q607460) (← links)
- Coequational logic for accessible functors (Q618173) (← links)
- Continuous functions on final coalgebras (Q2805147) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q5009709) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Well-founded coalgebras, revisited (Q5361146) (← links)
- Optimal Coin Flipping (Q5418975) (← links)
- Exact sequences in categories of coalgebras (Q6655933) (← links)
