The following pages link to (Q3934678):
Displaying 14 items.
- Tensor product of partially-additive monoids (Q1057976) (← links)
- Lax monads. Indexed monoidal monads (Q1181431) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- (Q3039533) (← links)
- (Q3470632) (← links)
- (Q3704056) (← links)
- (Q4029347) (← links)
- (Q4652984) (← links)
- Quantale-Enriched Multicategories Via Actions (Q5868038) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)
- Automata and coalgebras in categories of species (Q6666774) (← links)
