Pages that link to "Item:Q5450620"
From MaRDI portal
The following pages link to The cartesian closed bicategory of generalised species of structures (Q5450620):
Displayed 25 items.
- Kleisli enriched (Q456865) (← links)
- Commutativity (Q899553) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Analytic functors between presheaf categories over groupoids (Q2253181) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- The categorified Heisenberg algebra. I: A combinatorial representation. (Q2411671) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- Regular patterns, substitudes, Feynman categories and operads (Q4563231) (← links)
- (Q4580329) (← links)
- Props in Network Theory (Q4585017) (← links)
- Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- (Q5028454) (← links)
- Homotopy theory of algebras of substitudes and their localisation (Q5067624) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- On the formal theory of pseudomonads and pseudodistributive laws (Q5150014) (← links)
- On operads, bimodules and analytic functors (Q5366976) (← links)
- Indexed containers (Q5371943) (← links)
- (Q6120735) (← links)
- Runners for interleaving algebraic effects (Q6164485) (← links)