Pages that link to "Item:Q5666708"
From MaRDI portal
The following pages link to Bilinearity and Cartesian Closed Monads. (Q5666708):
Displaying 26 items.
- Dagger categories of tame relations (Q382419) (← links)
- Probabilities, distribution monads, and convex categories (Q549198) (← links)
- Probabilistic systems coalgebraically: a survey (Q639648) (← links)
- Cartesian monads on toposes (Q678846) (← links)
- Monads on higher monoidal categories (Q722244) (← links)
- Collapsed toposes and cartesian closed varieties (Q910487) (← links)
- A class of fuzzy theories (Q1170604) (← links)
- On the relationship between composite and tensor product triples (Q1252285) (← links)
- Categories (Q1255566) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- Skew structures in 2-category theory and homotopy theory (Q2012168) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- (Q3934678) (← links)
- (Q4092158) (← links)
- Ambiguity and Incomplete Information in Categorical Models of Language (Q5014785) (← links)
- (Q5089251) (← links)
- A dialectica-like model of linear logic (Q5096268) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)
- Quantale-Enriched Multicategories Via Actions (Q5868038) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)
