The following pages link to (Q4100674):
Displaying 30 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- A Mackey-functor theoretic interpretation of biset functors (Q904027) (← links)
- A general coherence result (Q1118027) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- A Krohn-Rhodes theorem for categories (Q1138626) (← links)
- Coherence for compact closed categories (Q1146248) (← links)
- Une théorie combinatoire des séries formelles (Q1167168) (← links)
- Representable multicategories (Q1570232) (← links)
- Skew monoidal categories and skew multicategories (Q1647335) (← links)
- Free skew monoidal categories (Q1748410) (← links)
- Distributive laws via admissibility (Q2011378) (← links)
- Operads within monoidal pseudo algebras (Q2432567) (← links)
- Two-dimensional monadicity (Q2445311) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- (Q3121018) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- (Q3423074) (← links)
- (Q4161837) (← links)
- (Q4175732) (← links)
- Regular patterns, substitudes, Feynman categories and operads (Q4563231) (← links)
- Abstract cofibered domains: Application to the alias analysis of untyped programs (Q5030205) (← links)
- Coherence for bicategories, lax functors, and shadows (Q5037746) (← links)
- Homotopy theory of algebras of substitudes and their localisation (Q5067624) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)
- Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings (Q5364130) (← links)
- Categories enriched on two sides (Q5957782) (← links)
- Pointwise Kan extensions along 2-fibrations and the 2-category of elements (Q6589561) (← links)
