• Corpus ID: 11992156

Cubical cospans and higher cobordisms (Cospans in algebraic topology, III)

@article{Grandis2008CubicalCA,
  title={Cubical cospans and higher cobordisms (Cospans in algebraic topology, III)},
  author={Marco De Grandis},
  journal={arXiv: Algebraic Topology},
  year={2008}
}
  • M. Grandis
  • Published 14 June 2008
  • Mathematics
  • arXiv: Algebraic Topology
After two papers on weak cubical categories and collarable cospans, respectively, we put things together and construct a weak cubical category of cubical collared cospans of topological spaces. We also build a second structure, called a quasi cubical category, formed of arbitrary cubical cospans concatenated by homotopy pushouts. This structure, simpler but weaker, has lax identities. It contains a similar framework for cobordisms of manifolds with corners and could therefore be the basis to… 

Double Bicategories and Double Cospans

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the

From cubical to globular higher categories

We show that a strict symmetric (infinite-dimensional) cubical category A has an associated !-category Glb(A), consisting of its 'globular cubes'. The procedure of globularisation generally destroys

A lax symmetric cubical category associated to a directed space (

The recent domain of directed algebraic topology studies 'directed spaces', where paths and homotopies cannot generally be reversed. At the place of the classical fundamental groupoid of a

A LAX SYMMETRIC CUBICAL CATEGORY ASSOCIATED TO A DIRECTED SPACE *

The recent domain of directed algebraic topology studies 'directed spaces', where paths and homotopies need not be reversible. The main applications are concerned with concurrency. We introduce here,

A higher category of cobordisms and topological quantum field theory

The goal of this work is to describe a categorical formalism for (Extended) Topological Quantum Field Theories (TQFTs) and present them as functors from a suitable category of cobordisms with corners

Cubical n-Categories and Finite Limits Theories

This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of

A thomason model structure on the category of small n-fold categories

We construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of

A note on the Penon definition of $n$-category

We show that doubly degenerate Penon tricategories give symmetric rather than braided monoidal categories. We prove that Penon tricategories cannot give all tricategories, but we show that a slightly

High-level methods for homotopy construction in associative n-categories

A ‘contraction’ operation is described, which algorithmically constructs complex homotopies that reduce the lengths of composite terms, and allows building of nontrivial proofs by repeatedly contracting subterms, and also allows the contraction of those proofs themselves.

Cohomological twisting of 2-linearization and extended TQFT

In this paper, we describe a relation between a categorical quantization construction, called “2-linearization”, and extended topological quantum field theory (ETQFT). We then describe an extension

References

SHOWING 1-10 OF 25 REFERENCES

HIGHER COSPANS AND WEAK CUBICAL CATEGORIES (COSPANS IN ALGEBRAIC TOPOLOGY, I)

We define a notion of weak cubical category, abstracted from the structure of n-cubical cospans x: ^ n ! X in a category X, where ^ is the ‘formal cospan’ category. These diagrams form a cubical set

COLLARED COSPANS, COHOMOTOPY AND TQFT (COSPANS IN ALGEBRAIC TOPOLOGY, II)

Topological cospans and their concatenation, by pushout, appear in the theories of tangles, ribbons, cobordisms, etc. Various algebraic invariants have been introduced for their study, which it would

A Double Bicategory of Cobordisms With Corners

Interest in cobordism categories arises in areas from topology to theoretical physics, and in particular in Topological Quantum Field Theories (TQFT’s). These categories have manifolds as objects,

CUBICAL SETS AND THEIR SITE

Extended cubical sets (with connections and interchanges) are presheaves on a ground category, the extended cubical site K, corresponding to the (augmented) simplicial site, the category of finite

ON COBORDISM OF MANIFOLDS WITH CORNERS

This work sets up a cobordism theory for manifolds with corners and gives an identication with the homotopy of a certain limit of Thom spectra. It thereby creates a geometrical interpretation of

Weak units and homotopy 3-types

We show that every braided monoidal category arises as $\End(I)$ for a weak unit $I$ in an otherwise completely strict monoidal 2-category. This implies a version of Simpson's weak-unit conjecture in

Pull-Backs in Homotopy Theory

The (based) homotopy category consists of (based) topological spaces and (based) homotopy classes of maps. In these categories, pull-backs and push-outs do not generally exist. For example, no

Homotopical algebra in homotopical categories

  • M. Grandis
  • Mathematics
    Appl. Categorical Struct.
  • 1994
A hierarchy of notions ofh-,h1-, ...h4-categories is introduced, through progressive enrichment of thevertical structure of homotopies, so that the strongest notion, h4-category, is a sort of relaxed 2-category.

Weak identity arrows in higher categories

There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is