Pages that link to "Item:Q2539417"
From MaRDI portal
The following pages link to Monads on symmetric monoidal closed categories (Q2539417):
Displayed 50 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Units of equivariant ring spectra (Q538636) (← links)
- Languages for monoidal categories (Q584380) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Monads on higher monoidal categories (Q722244) (← links)
- Commutants for enriched algebraic theories and monads (Q722250) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Commutativity (Q899553) (← links)
- Lax monads. Indexed monoidal monads (Q1181431) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- V-localizations and V-Kleisli algebras (Q1221164) (← links)
- Monads generated by monoids (Q1222709) (← links)
- Categories (Q1255566) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- Functional distribution monads in functional-analytic contexts (Q1678156) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Gabriel-Morita theory for excisive model categories (Q1732879) (← links)
- The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas} (Q1748385) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- On fixpoint objects and gluing constructions (Q1923803) (← links)
- Skew structures in 2-category theory and homotopy theory (Q2012168) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Generalized Płonka sums and products (Q2254602) (← links)
- On the differential graded Eilenberg-Moore construction (Q2330312) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- Strong functors and monoidal monads (Q2557763) (← links)
- Monads and monoids on symmetric monoidal closed categories (Q2561276) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- Categorifying Computations into Components via Arrows as Profunctors (Q2919448) (← links)
- The Essence of Higher-Order Concurrent Separation Logic (Q2988664) (← links)
- A Simply Typed λ-Calculus of Forward Automatic Differentiation (Q3178288) (← links)
- From parametric polymorphism to models of polymorphic FPC (Q3395309) (← links)
- Monad compositions II: Kleisli strength (Q3520147) (← links)
- Selection functions, bar recursion and backward induction (Q3559969) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- Coherence for monoidal endofunctors (Q3583019) (← links)
- Coherence for monoidal monads and comonads (Q3583020) (← links)
- (Q3934678) (← links)
- (Q4092158) (← links)
- (Q4161839) (← links)
- Symmetric monoidal comonads and differential algebra (Q4175736) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- (Q4643960) (← links)
- Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
- (Q5002829) (← links)
- Quantifiers on languages and codensity monads (Q5006459) (← links)