Coherence for tricategories
From MaRDI portal
Publication:4851718
DOI10.1090/memo/0558zbMath0836.18001OpenAlexW2077270594MaRDI QIDQ4851718
No author found.
Publication date: 28 April 1996
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/memo/0558
tensor productbicategoryGray categorytricategoriesalgebraic homotopy typeshigher-dimensional equivalences
Axiomatic quantum field theory; operator algebras (81T05) Abstract data types; algebraic specification (68Q65) Abstract and axiomatic homotopy theory in algebraic topology (55U35)
Related Items
Finitary birepresentations of finitary bicategories, Categorification of algebraic quantum field theories, Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces, Homotopy classification of graded Picard categories, Distributive laws for pseudomonads. II, Multifusion categories and finite semisimple 2-categories, Modality via iterated enrichment, Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model, The Catalan simplicial set II, Unnamed Item, On the homotopy theory of Grothendieck \(\infty \)-groupoids, Higher categories, strings, cubes and simplex equations, Convex hull realizations of the multiplihedra, Stable homotopy hypothesis in the Tamsamani model, Nerves and classifying spaces for bicategories, Logical systems. I: Internal calculi., Monoidal bicategories and Hopf algebroids, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Higher-dimensional algebra. II: 2-Hilbert spaces, Lax naturality through enrichment, Stable Postnikov data of Picard 2-categories, \(K\)-theory for 2-categories, A homotopy coherent cellular nerve for bicategories, Length 3 complexes of abelian sheaves and Picard 2-stacks, Classifying spaces for braided monoidal categories and lax diagrams of bicategories, The Gray monoidal product of double categories, The Gray tensor product via factorisation, Algebraic weak factorisation systems. I: Accessible AWFS., Algebraic weak factorisation systems. II: Categories of weak maps., Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids, Functoriality of the center of an algebra, Operadic categories and duoidal Deligne's conjecture, Fibred 2-categories and bicategories, Homotopy fiber sequences induced by 2-functors, Tensor products of finitely cocomplete and abelian categories, On pseudofunctors sending groups to 2-groups, Commutativity, Spectra associated to symmetric monoidal bicategories, Enriched categories as a free cocompletion, Differential graded categories and Deligne conjecture, Loop spaces, and coherence for monoidal and braided monoidal bicategories, Algebras of higher operads as enriched categories, Duals invert, Hopf comonads on naturally Frobenius map-monoidales, Rigid and separable algebras in fusion 2-categories, Centers and homotopy centers in enriched monoidal categories, Extending Landau-Ginzburg models to the point, Extensions of Picard 2-stacks and the cohomology groups \(\mathrm{Ext}^i\) of length 3 complexes, Infinite loop spaces, and coherence for symmetric monoidal bicategories, Pointed homotopy and pointed lax homotopy of 2-crossed module maps, Comonadic base change for enriched categories, Brauer groups and étale cohomology in derived algebraic geometry, Cohomology and deformation theory of monoidal 2-categories. I., Crossed product tensor categories, How strict is strictification?, Not every pseudoalgebra is equivalent to a strict one, The Eckmann-Hilton argument and higher operads, Group actions on 2-categories, Intercategories: a framework for three-dimensional category theory, Monads in double categories, The fundamental Gray 3-groupoid of a smooth manifold and local 3-dimensional holonomy based on a 2-crossed module, The 2-dimensional stable homotopy hypothesis, Bicategorical homotopy fiber sequences, Azumaya objects in triangulated bicategories, Central extensions of smooth 2-groups and a finite-dimensional string 2-group, A cellular nerve for higher categories, Skew structures in 2-category theory and homotopy theory, Homomorphisms of higher categories, Icons, Six-functor-formalisms and fibered multiderivators, Skew-enriched categories, The center of monoidal 2-categories in 3+1D Dijkgraaf-Witten theory, Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids, Reflection fusion categories, Comparing geometric realizations of tricategories, Formal Hopf algebra theory. I: Hopf modules for pseudomonoids, 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\), Categorified quantum \(\mathfrak{sl}_2\) is an inverse limit of flag 2-categories, 3-dimensional defect TQFTs and their tricategories, Nerves of trigroupoids as Duskin-Glenn's 3-hypergroupoids, Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes, Generalized centers of braided and sylleptic monoidal 2-categories, Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories, Formal Hopf algebra theory. II: Lax centres, Geometry and 2-Hilbert space for nonassociative magnetic translations, Representable multicategories, Spherical 2-categories and 4-manifold invariants, A coherent approach to pseudomonads, Finite groups, spherical 2-categories, and 4-manifold invariants, Simple transitive 2-representations of bimodules over radical square zero Nakayama algebras via localization, The quantum double and related constructions, A representation result for free cocompletions, On weak higher dimensional categories. I: Part 1, A factorization of regularity, Categories of representations of coalgebroids, Pseudo-commutative monads and pseudo-closed 2-categories, Cohomological twisting of 2-linearization and extended TQFT, An alternative description of braided monoidal categories, Adjoint functor theorems for homotopically enriched categories, Azumaya monads and comonads, Monoidal Grothendieck construction, Green 2-functors, Unnamed Item, Hom weak ω-categories of a weak ω-category, Unnamed Item, Coherence for bicategorical cartesian closed structure, Unnamed Item, Homotopy type theory and Voevodsky’s univalent foundations, Maschke type theorems for Hopf monoids, Non-semisimple extended topological quantum field theories, Minimal nondegenerate extensions, Internalization and enrichment via spans and matrices in a tricategory, A skew approach to enrichment for Gray-categories, Weighted colimits of 2-representations and star algebras, A 3‐categorical perspective on G$G$‐crossed braided categories, The Catalan simplicial set, Unnamed Item, What is an equivalence in a higher category?, On operads, bimodules and analytic functors, Oplax Hopf Algebras, Coherence for bicategories, lax functors, and shadows, Unnamed Item, Unnamed Item, Understanding the small object argument, Coherence of Gray Categories via Rewriting, Understanding the small object argument, Unnamed Item, The classifying space of a categorical crossed module, Unnamed Item, Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids, Two-dimensional linear algebra, Contravariance through enrichment, On 3-gauge transformations, 3-curvatures, and Gray-categories, Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads, Categories enriched on two sides, A basic distributive law, Tannaka duality for Maschkean categories, Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations, On a triply graded Khovanov homology, Pivotal tricategories and a categorification of inner-product modules, On bicolimits of $ C^* $-categories, On the formal theory of pseudomonads and pseudodistributive laws, An Australian Conspectus of Higher Categories, The formal theory of multimonoidal monads, Frobenius algebras and homotopy fixed points of group actions on bicategories, Rewriting in Gray categories with applications to coherence
