scientific article
From MaRDI portal
Publication:3159161
zbMath1160.18001arXivmath/0305049MaRDI QIDQ3159161
Publication date: 15 February 2005
Full work available at URL: https://arxiv.org/abs/math/0305049
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to algebraic topology (55-02) Loop space machines and operads in algebraic topology (55P48) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Related Items
Enumeration and Asymptotic Formulas for Rectangular Partitions of the Hypercube, Feynman categories and representation theory, BiHom Hopf algebras viewed as Hopf monoids, Augmented virtual double categories, A unified framework for notions of algebraic theory, Data Types with Symmetries and Polynomial Functors over Groupoids, Semistrict higher gauge theory, Quantum circuits of $ \newcommand{\cZ}{c-\mathtt{Z}} \cZ$ and $ \newcommand{\Swap}{\mathtt{SWAP}} \Swap$ gates: optimization and entanglement, Hom weak ω-categories of a weak ω-category, Algebraic coherent confluence and higher globular Kleene algebras, The genuine operadic nerve, Coherence for bicategorical cartesian closed structure, Weak $\infty$-categories via terminal coalgebras, Weak units, universal cells, and coherence via universality for bicategories, The cleavage operad and string topology of higher dimension, Cyclic multicategories, multivariable adjunctions and mates, A noncommutative calculus on the cyclic dual of Ext, Discrete Double Fibrations, Quantale-Enriched Multicategories Via Actions, Homotopy type theory and Voevodsky’s univalent foundations, Moment categories and operads, The comprehensive factorization of Burroni's T-functors, Injective hulls of quantale-enriched multicategories, Unnamed Item, Tree convolution for probability distributions with unbounded support, A shuffle algebra point of view on operator-valued probability theory, The more legs the merrier: A new composition for symmetric (multi-)lenses, A skew approach to enrichment for Gray-categories, A simplicial category for higher correspondences, Preservation and reflection of bisimilarity via invertible steps, Descent for internal multicategory functors, Realization of rigid \(C^\ast \)-bicategories as bimodules over type \(\mathrm{II}_1\) von Neumann algebras, Algebraic structures on graph associahedra, LNL polycategories and doctrines of linear logic, The reductive Borel-Serre compactification as a model for unstable algebraic K-theory, Unnamed Item, Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem, Groups with Many Finitary Cohomology Functors, Geometrically partial actions, An equivalence between enriched \(\infty \)-categories and \(\infty \)-categories with weak action, Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting), Unnamed Item, On operads, bimodules and analytic functors, Attribute Grammars and Categorical Semantics, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Polynomial functors and combinatorial Dyson–Schwinger equations, Commutative Semantics for Probabilistic Programming, Lawvere theories, finitary monads and Cauchy-completion, Internalizing decorated bicategories: The globularily generated condition, Operadic categories and their skew monoidal categories of collections, From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4, Segal spaces, spans, and semicategories, Directed algebraic topology, categories and higher categories, An Isbell duality theorem for type refinement systems, Imaginary groups: lazy monoids and reversible computation, Dendroidal sets, Homotopy-Theoretic Models of Type Theory, Unnamed Item, On lifting of biadjoints and lax algebras, Unnamed Item, 2-nerves for bicategories, Syntactic approaches to opetopes, Opetopic algebras I: Algebraic structures on opetopic sets, Fundamental pushouts of n-complicial sets, Theories of analytic monads, Unnamed Item, Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings, Spark complexes on good effective orbifold atlases categorically, Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems, Operads and PROPs, The category of Waldhausen categories is a closed multicategory, Strongly homotopy chiral algebroids, Elementary remarks on units in monoidal categories, Non-unital polygraphs form a presheaf category, Beyond Bell's theorem. II: Scenarios with arbitrary causal structure, On the category of props, Classification of deformation quantization algebroids on complex symplectic manifolds, Weakest preconditions in fibrations, A Classical Propositional Logic for Reasoning About Reversible Logic Circuits, Weak ω-Categories from Intensional Type Theory, Unnamed Item, Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract), A Probability Monad as the Colimit of Spaces of Finite Samples, Dwyer–Kan homotopy theory for cyclic operads, List Objects with Algebraic Structure, Dendroidal sets as models for connective spectra, Homotopy theory for algebras over polynomial monads, Unnamed Item, Type Theory and Homotopy, An operad of non-commutative independences defined by trees, Unnamed Item, The Sequent Calculus of Skew Monoidal Categories, The Bicategory-Theoretic Solution of Recursive Domain Equations, Algebraic Databases, The parametric continuation monad, Plethysms and operads, On effective descent \(\mathcal{V}\)-functors and familial descent morphisms, Monoidal weak ω-categories as models of a type theory, Categorical composable cryptography: extended version, A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs, What is an equivalence in a higher category?, A diagrammatic view of differential equations in physics, A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity, HYPERMATRIX ALGEBRA AND IRREDUCIBLE ARITY IN HIGHER-ORDER SYSTEMS: CONCEPTS AND PERSPECTIVES, Unnamed Item, Unnamed Item, Unnamed Item, Coextension of scalars in operad theory, On algebras over multicategories, Categorification of algebraic quantum field theories, Category-theoretic structure for independence and conditional independence, Weakest preconditions in fibrations, Monads, partial evaluations, and rewriting, Higher dimensional categories: induction on extensivity, The sequent calculus of skew monoidal categories, Multi-posets in algebraic logic, group theory, and non-commutative topology, The web monoid and opetopic sets, A cohomological perspective on algebraic quantum field theory, A bicategory of reduced orbifolds from the point of view of differential geometry, Combinatorial Hopf algebras from PROs, Smooth 1-dimensional algebraic quantum field theories, Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories, A mathematical theory of resources, Logical systems. I: Internal calculi., Skew monoidal categories and skew multicategories, Six operations on dg enhancements of derived categories of sheaves, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, \(2-C^{*}\)-categories with non-simple units, Actads, Book review of: D. Yau, Colored operads, A proof of the existence of Batanin's initial operad, The fundamental pro-groupoid of an affine 2-scheme, Martin-Löf complexes, A homotopy coherent cellular nerve for bicategories, A combinatorial-topological shape category for polygraphs, Monoidal 2-structure of bimodule categories, String diagrams for traced and compact categories are oriented 1-cobordisms, Embedding of dendriform algebras into Rota-Baxter algebras, Associative algebras related to conformal algebras., Topological Hochschild homology and cohomology of \(A_{\infty }\) ring spectra, Polycategories via pseudo-distributive laws, Spectra associated to symmetric monoidal bicategories, Associahedra and weak monoidal structures on categories, Relative full completeness for bicategorical Cartesian closed structure, On semiflexible, flexible and pie algebras, Algebras of higher operads as enriched categories, Operads within monoidal pseudo algebras, Absolute lax 2-categories, The smash product for derived categories in stable homotopy theory, Centers and homotopy centers in enriched monoidal categories, On representation categories of wreath products in non-integral rank, Categorical pairs and the indicative shift, Blob homology, Pseudo-commutativity of KZ 2-monads, Skew-monoidal categories and bialgebroids., The formal theory of monoidal monads, Monads with arities and their associated theories, Identities for primal Menger algebras, Graded monads and rings of polynomials, A model structure for coloured operads in symmetric spectra, Planar algebras: a category theoretic point of view, Laplaza sets, or how to select coherence diagrams for pseudo algebras, Not every pseudoalgebra is equivalent to a strict one, A bigroupoid's topology (or, topologising the homotopy bigroupoid of a space), Refinements of the Chern-Dold character: cocycle additions in differential cohomology, Derived sections, factorization algebras, and Deligne conjecture, Group actions on categories and Elagin's theorem revisited, On monoids in the category of sets and relations, Finite type invariants of w-knotted objects. II: Tangles, foams and the Kashiwara-Vergne problem, A note on the composition product of symmetric sequences, Revisiting the categorical interpretation of dependent type theory, Monads in double categories, Dold-Kan correspondence for dendroidal Abelian groups, The 2-dimensional stable homotopy hypothesis, Natural multitransformations of multifunctors, Generalized Płonka sums and products, Combinatorial structure of type dependency, Cardy algebras and sewing constraints. I, Bicategorical homotopy fiber sequences, The monads of classical algebra are seldom weakly Cartesian, An abstract characterization of Thompson's group \(F\)., Distributive laws via admissibility, Skew structures in 2-category theory and homotopy theory, When is group cohomology finitary?, A model category structure on the category of simplicial multicategories, Decimation and interleaving operations in one-sided symbolic dynamics, The incidence comodule bialgebra of the Baez-Dolan construction, Polynomial functors and opetopes, Central extensions of gerbes, Monads on higher monoidal categories, Value semigroups, value quantales, and positivity domains, Steps and traces, Circuit algebras are wheeled props, Wheeled PROPs, graph complexes and the master equation, The homotopy braces formality morphism, 3-dimensional defect TQFTs and their tricategories, Dynamical systems and sheaves, About Quillen's homotopy theorie of derivatives, Minimal index and dimension for 2-\(C^*\)-categories with finite-dimensional centers, Coisotropic triples, reduction and classical limit, Permutative categories, multicategories and algebraic \(K\)-theory, Cofibrantly generated lax orthogonal factorisation systems, The universal property of the multitude of trees, Constructing equivariant spectra via categorical Mackey functors, On the notion of pseudocategory internal to a category with a 2-cell structure, Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads, Chern characters, equivariant traces and derived algebraic geometry