# 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} }

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…

## 16 Citations

### Double Bicategories and Double Cospans

- Mathematics
- 2006

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

- Mathematics
- 2012

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 (

- Mathematics
- 2010

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 *

- Mathematics
- 2017

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

- Mathematics
- 2011

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

- Mathematics
- 2010

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

- Mathematics
- 2008

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

- Mathematics
- 2009

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

- Mathematics2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- 2019

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

- Mathematics
- 2010

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)

- Mathematics
- 2007

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)

- Mathematics
- 2007

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

- Mathematics
- 2006

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

- Mathematics
- 2003

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

- Mathematics
- 2000

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

- Mathematics
- 2006

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

- MathematicsCanadian Journal of Mathematics
- 1976

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

- MathematicsAppl. 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

- Mathematics
- 2005

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…