The following pages link to (Q3159161):
Displayed 37 items.
- 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)
- Type Theory and Homotopy (Q5253928) (← links)
- The parametric continuation monad (Q5269001) (← links)
- Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings (Q5364130) (← links)
- On operads, bimodules and analytic functors (Q5366976) (← links)
- (Q5382449) (← links)
- Non-unital polygraphs form a presheaf category (Q5382906) (← links)
- Imaginary groups: lazy monoids and reversible computation (Q5400854) (← links)
- Elementary remarks on units in monoidal categories (Q5450702) (← links)
- Dendroidal sets as models for connective spectra (Q5500786) (← links)
- Theories of analytic monads (Q5740404) (← links)
- An operad of non-commutative independences defined by trees (Q5856646) (← links)
- Beyond Bell's theorem. II: Scenarios with arbitrary causal structure (Q5963756) (← links)