nLab multispan

Idea

  • A multi(co)span is supposed to be something that generalizes span (and cospan) both horizontally and vertically: it may have a number of legs different from 2, but more importantly it need not be a single roof but can be a more complex diagram.

  • A multispan is supposed to be a model for a hierarchical cell complex with

    • a single top “cell” K()CK(\top) \in C (an object in some ambient category CC);

    • for each cell K(a)K(a) a collection of morphisms {K(b i)K(a)} i\{K(b_i) \to K(a)\}_i into it, to be thought of as pieces of boundary components of K(a)K(a);

      • in the language of hyperstructures we would say that K(a)K(a) is a bond for the K(b i)K(b_i)
    • and so on;

    • such that the entire resulting diagram commutes, expressing the fact how one boundary pieces may be part of different higher order boundary pieces.

Multi-cospans of cubical shape have been introduced and studied by Marco Grandis in his work on Cospans in Algebraic Topology. Grandis also formulates the idea that an extended QFT should be a morphism with domain extended cobordisms modeled as multi-cospans.

Examples

Special cases of multispans of the above general kind are

  • ordinary spans and cospans: these are obtained by restricting the domain poset to be of the form :=a 1a 2\wedge := a_1 \to \top \leftarrow a_2.

  • the double cospans of the form ×2\wedge^{\times 2} with \wedge as above, described in

    • Jeffrey Morton, Double Bicategories and Double Cospans (arXiv),
  • Grandis’ higher cubical cospans, which generalize the previous example: these are obtained by restricting the domain posets to be the cartesian powers ×n\wedge^{\times n} (with \wedge as above).

An attempt at a discussion of multispans in greater generality is at hyperstructure.

Related concepts

Last revised on September 26, 2015 at 05:39:36. See the history of this page for a list of all contributions to it.