The algebra of oriented simplexes (Q1112955)

From MaRDI portal
Revision as of 21:29, 19 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q590398)
scientific article
Language Label Description Also known as
English
The algebra of oriented simplexes
scientific article

    Statements

    The algebra of oriented simplexes (English)
    0 references
    1987
    0 references
    The well known notion of nerve of a category, the simplicial set whose \(p\)-simplexes are abutting \(p\)-tuples of morphisms, generalizes to \(n\)-categories where an element of dimension \(p\) is a \(p\)-simplex with an \(m\)-cell in each face of dimension \(m\). The obtained nerve of an \(n\)-category \(A\) is the basis for cohomology with coefficients in \(A\). This paper presents a \(p\)-category \(O_ p\) such that a \(p\)-functor \(O_ p\to A\) is precisely a \(p\)-simplex in the \(n\)-category \(A\). History and motivation begin this self-contained paper. In low dimensions the data which generate \(O_ p\) are visually given by many diagrams. Taking the notion of oriented simplexes one has \(O_ p\), called the \(p\)-th oriental, as a free \(p\)-category. The central idea is to describe the free \(\omega\)-category \(O_{\omega}\) (\(\omega\) being the first infinite ordinal) in which \(O_ p\) is a sub-\(p\)-category (a \(p\)-category being an \(\omega\)-category for which all elements are \(p\)-cells). The nerve functor from \(\omega\)-categories to simplicial sets is a right adjoint.
    0 references
    0 references
    nerve of a category
    0 references
    simplicial set
    0 references
    n-categories
    0 references
    cohomology
    0 references
    oriented simplexes
    0 references
    nerve functor
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references