Pages that link to "Item:Q5450620"
From MaRDI portal
The following pages link to The cartesian closed bicategory of generalised species of structures (Q5450620):
Displaying 34 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)
- A categorification of biclosed sets of strings (Q2285295) (← links)
- The categorified Heisenberg algebra. I: A combinatorial representation. (Q2411671) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Compact closed bicategories (Q2826239) (← links)
- Generic morphisms, parametric representations and weakly cartesian monads (Q3156505) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- Analytic functors and weak pullbacks (Q3614500) (← 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)
- (Q4990312) (← 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)
- Foundations of Software Science and Computational Structures (Q5705887) (← links)
- (Q6061668) (← links)
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences (Q6544451) (← links)
- Stabilized profunctors and stable species of structures (Q6563041) (← links)
- Schur functors and categorified plethysm (Q6617075) (← links)
- A Cartesian bicategory of polynomial functors in homotopy type theory (Q6653748) (← links)
