Coherence for bicategories and indexed categories
From MaRDI portal
Publication:1059704
DOI10.1016/0022-4049(85)90087-8zbMath0567.18003OpenAlexW2094580575MaRDI QIDQ1059704
Robert Paré, Saunders Mac Lane
Publication date: 1985
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(85)90087-8
coherencemonoidal categorybicategory2-categoryS-indexed categoryS-indexed functorS-indexed natural transformation
Related Items
Universalities ⋮ Unnamed Item ⋮ Facets of descent. I ⋮ Unnamed Item ⋮ Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces ⋮ Unnamed Item ⋮ Coherence for bicategorical cartesian closed structure ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ Two-dimensional monad theory ⋮ Flops and spherical functors ⋮ Pure morphisms are effective for modules ⋮ Spectra associated to symmetric monoidal bicategories ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Accessible aspects of 2-category theory ⋮ On operads, bimodules and analytic functors ⋮ Unnamed Item ⋮ Monoidal categories with natural numbers object ⋮ Cohomology and deformation theory of monoidal 2-categories. I. ⋮ Some exact sequences associated with adjunctions in bicategories. Applications ⋮ Inheritance as implicit coercion ⋮ The geometry of tensor calculus. I ⋮ Co-Frobenius corings and adjoint functors. ⋮ Supercoherence ⋮ Lax monads. Indexed monoidal monads ⋮ A coherence theorem for pseudonatural transformations ⋮ Unnamed Item ⋮ The monoidal structure of Turing machines ⋮ Descent in locally presentable categories ⋮ 2-nerves for bicategories ⋮ On Morita contexts in bicategories ⋮ Unnamed Item ⋮ Coalgebroids in monoidal bicategories and their comodules ⋮ A Quillen model structure for bicategories ⋮ Icons ⋮ The low-dimensional structures formed by tricategories ⋮ Families parametrized by coalgebras ⋮ Unnamed Item ⋮ A 2-Categories Companion ⋮ An Australian Conspectus of Higher Categories ⋮ Unnamed Item ⋮ Bipullbacks of fractions and the snail lemma ⋮ Unnamed Item ⋮ Finite groups, spherical 2-categories, and 4-manifold invariants ⋮ Holonomy and parallel transport for abelian gerbes ⋮ Tortile tensor categories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coherence for categories with group structure: An alternative approach
- The diamond lemma for ring theory
- Indexed categories and their applications
- Formal category theory: Adjointness for 2-categories
- On theories with a combinatorial definition of 'equivalence'
- Low Dimensional Group Cohomology as Monoidal Structures
- Introduction to bicategories
