The following pages link to (Q3159161):
Displayed 50 items.
- Operads within monoidal pseudo algebras (Q2432567) (← links)
- Absolute lax 2-categories (Q2432581) (← links)
- Identities for primal Menger algebras (Q2449444) (← links)
- Graded monads and rings of polynomials (Q2451246) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Directed algebraic topology, categories and higher categories (Q2463398) (← links)
- Dendroidal sets (Q2464800) (← links)
- 2-nerves for bicategories (Q2481128) (← links)
- On the category of props (Q2516574) (← links)
- Classification of deformation quantization algebroids on complex symplectic manifolds (Q2518195) (← links)
- Semistrict higher gauge theory (Q2635266) (← links)
- Injective hulls of quantale-enriched multicategories (Q2667932) (← links)
- A shuffle algebra point of view on operator-valued probability theory (Q2675131) (← links)
- A simplicial category for higher correspondences (Q2680388) (← links)
- Descent for internal multicategory functors (Q2682782) (← links)
- Realization of rigid \(C^\ast \)-bicategories as bimodules over type \(\mathrm{II}_1\) von Neumann algebras (Q2684533) (← links)
- Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem (Q2685684) (← links)
- An equivalence between enriched \(\infty \)-categories and \(\infty \)-categories with weak action (Q2689547) (← links)
- Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting) (Q2693027) (← links)
- A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
- Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract) (Q2825366) (← links)
- The Bicategory-Theoretic Solution of Recursive Domain Equations (Q2864151) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Homotopy theory for algebras over polynomial monads (Q2963473) (← links)
- Polynomial functors and combinatorial Dyson–Schwinger equations (Q2981022) (← links)
- Algebraic Databases (Q2981748) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
- Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems (Q3053860) (← links)
- Operads and PROPs (Q3053870) (← links)
- Internalizing decorated bicategories: The globularily generated condition (Q3120394) (← links)
- Operadic categories and their skew monoidal categories of collections (Q3121019) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- The cleavage operad and string topology of higher dimension (Q3190416) (← links)
- Cyclic multicategories, multivariable adjunctions and mates (Q3191179) (← links)
- From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4 (Q3296112) (← links)
- (Q3423074) (← links)
- (Q3429780) (← links)
- (Q3515398) (← links)
- Attribute Grammars and Categorical Semantics (Q3519507) (← links)
- Weak ω-Categories from Intensional Type Theory (Q3637194) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- Spark complexes on good effective orbifold atlases categorically (Q4585018) (← links)
- (Q4625697) (← links)
- A Probability Monad as the Colimit of Spaces of Finite Samples (Q4628472) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- The category of Waldhausen categories is a closed multicategory (Q4686270) (← links)
- Strongly homotopy chiral algebroids (Q4686837) (← links)
- A unified framework for notions of algebraic theory (Q4972696) (← links)
- Dwyer–Kan homotopy theory for cyclic operads (Q4993989) (← links)