Pages that link to "Item:Q2557763"
From MaRDI portal
The following pages link to Strong functors and monoidal monads (Q2557763):
Displayed 24 items.
- Strong categorical datatypes II: A term logic for categorical programming (Q673963) (← links)
- A presentation of the initial lift-algebra (Q678845) (← links)
- Cartesian monads on toposes (Q678846) (← links)
- Notions of computation and monads (Q757075) (← links)
- Combinatorial functional and differential equations applied to differential posets (Q952648) (← links)
- Lax monads. Indexed monoidal monads (Q1181431) (← links)
- Monads and algebras in the semantics of partial data types (Q1193894) (← links)
- Monads generated by monoids (Q1222709) (← links)
- Categories (Q1255566) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- Covariant types (Q1390953) (← links)
- Monad as modality (Q1392142) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Bernays-Gödel type theory (Q1861492) (← links)
- Monads and monoids on symmetric monoidal closed categories (Q2561276) (← links)
- (Q3913564) (← links)
- (Q3934678) (← links)
- Symmetric monoidal comonads and differential algebra (Q4175736) (← links)
- (Q4311229) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
