Pages that link to "Item:Q5655526"
From MaRDI portal
The following pages link to Closed categories generated by commutative monads (Q5655526):
Displaying 35 items.
- Dagger categories of tame relations (Q382419) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Monads on higher monoidal categories (Q722244) (← links)
- Petri nets are monoids (Q922720) (← links)
- Order completion monads (Q1055871) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Affine parts of monads (Q1135920) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- V-localizations and V-Kleisli algebras (Q1221164) (← links)
- Categories (Q1255566) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- Functional distribution monads in functional-analytic contexts (Q1678156) (← links)
- Bundle functors and fibrations (Q1678994) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- Skew structures in 2-category theory and homotopy theory (Q2012168) (← links)
- On the differential graded Eilenberg-Moore construction (Q2330312) (← links)
- Real sets (Q2406536) (← links)
- Monads on symmetric monoidal closed categories (Q2539417) (← links)
- A reflection theorem for closed categories (Q2552195) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- (Q3934678) (← links)
- (Q4081433) (← links)
- (Q4092158) (← links)
- (Q4161839) (← links)
- Closed categories of coalgebras (Q4163368) (← links)
- Two-dimensional linear algebra (Q4917040) (← links)
- Pseudo-commutative Monads (Q4917057) (← links)
- (Q5013826) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES (Q6124457) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- Value Iteration is Optic Composition (Q6190614) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
- Enriching diagrams with algebraic operations (Q6629455) (← links)