The following pages link to (Q3159161):
Displayed 50 items.
- 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 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)
- Discrete Double Fibrations (Q4994673) (← links)
- The comprehensive factorization of Burroni's T-functors (Q5004667) (← links)
- Tree convolution for probability distributions with unbounded support (Q5009818) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- The more legs the merrier: A new composition for symmetric (multi-)lenses (Q5019663) (← links)
- (Q5020953) (← links)
- (Q5111312) (← links)
- Groups with Many Finitary Cohomology Functors (Q5112373) (← links)
- Geometrically partial actions (Q5113211) (← links)
- Segal spaces, spans, and semicategories (Q5150171) (← links)
- Enumeration and Asymptotic Formulas for Rectangular Partitions of the Hypercube (Q5212151) (← links)
- Augmented virtual double categories (Q5220053) (← links)
- The genuine operadic nerve (Q5233742) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- (Q5239846) (← links)
- Weak $\infty$-categories via terminal coalgebras (Q5239850) (← links)