Pages that link to "Item:Q685386"
From MaRDI portal
The following pages link to A characterization of the least-fixed-point operator by dinaturality (Q685386):
Displaying 7 items.
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Unique, guarded fixed points in an additive setting (Q2842814) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
