# Moore hyperrectangles on a space form a strict cubical omega-category with connections

@inproceedings{Brown2009MooreHO, title={Moore hyperrectangles on a space form a strict cubical omega-category with connections}, author={Ronald Brown}, year={2009} }

A question of Jack Morava is answered by generalising the notion of Moore paths to that of Moore hyperrectangles, so obtaining a strict cubical !-category. This also has the structure of connections in the sense of Brown and Higgins, but cancellation of connections does not hold.

## 12 Citations

A Model Of Type Theory In Cubical Sets With Connections

- Mathematics
- 2014

In this thesis we construct a new model of intensional type theory in the category of cubical sets with connections. To facilitate this we introduce the notion of a nice path object category, a…

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…

The blob complex

- Mathematics
- 2010

Given an n-manifold M and an n-category C, we define a chain complex (the "blob complex") B_*(M;C). The blob complex can be thought of as a derived category analogue of the Hilbert space of a TQFT,…

Higher categories, colimits, and the blob complex

- Mathematics, MedicineProceedings of the National Academy of Sciences
- 2011

The important properties of the blob complex are outlined and the proof of a generalization of Deligne’s conjecture on Hochschild cohomology and the little discs operad to higher dimensions is sketched.

Models of Type Theory Based on Moore Paths

- Computer Science, MathematicsLog. Methods Comput. Sci.
- 2019

A new family of models of intensional Martin-L\"of type theory based on simplicial and cubical sets that can contain more than one element, no matter how great the degree of nesting is, is introduced.

Models of Type Theory Based on Moore Paths

- Mathematics, Computer ScienceFSCD
- 2017

A new family of models of intensional Martin-L\"of type theory based on simplicial and cubical sets is introduced, notable for avoiding any form of Kan filling condition in the semantics of types.

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…

28 : 2 Models of Type Theory Based on Moore Paths where

- 2017

This paper introduces a new family of models of intensional Martin-Löf type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path.…

A Model of Type Theory in Cubical Sets

- Mathematics, Computer ScienceTYPES
- 2013

A model of type theory with dependent product, sum, and identity, in cubical sets is presented, and is a step towards a computational interpretation of Voevodsky's Univalence Axiom.

Continuity as a computational effect

- Computer Science, MathematicsJ. Log. Algebraic Methods Program.
- 2016

This paper introduces a monad which, in the compositional development of hybrid systems, may play a role similar to the one played by the 1+, powerset, and distribution monads in the characterisation of partial, non deterministic and probabilistic components, respectively.

## References

SHOWING 1-10 OF 32 REFERENCES

La catégorie cubique avec connexions est une catégorie test stricte

- Mathematics
- 2009

— The aim of this paper is to prove that the category of cubes with connections, introduced by R. Brown and Ph. J. Higgins, is a strict test category in Grothendieck’s sense. In particular this…

Topology and Groupoids

- Mathematics
- 2006

Omar Antoĺın Camarena pointed out a gap in the proofs in [BT&G, Bro06] of a condition for the Phragmen–Brouwer Property not to hold; this note gives the correction in terms of a result on a pushout…

Higher Topos Theory

- Mathematics
- 2009

This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the…

Multiple Categories: The Equivalence of a Globular and a Cubical Approach

- Mathematics
- 2000

Abstract We show the equivalence of two kinds of strict multiple category, namely the well-known globular ω -categories, and the cubical ω -categories with connections.

Cubical Resolutions and Derived Functors

- Mathematics
- 2009

We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their…

Thin Elements and Commutative Shells in Cubical ω-categories

- 2005

The relationships between thin elements, commutative shells and connections in cubical ω-categories are explored by a method which does not involve the use of pasting theory or nerves of ω-categories…

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…

A NEW HIGHER HOMOTOPY GROUPOID: THE FUNDAMENTAL GLOBULAR !-GROUPOID OF A FILTERED SPACE

- Mathematics
- 2008

We show that the graded set of filter homotopy classes rel vertices of maps from the n-globe to a filtered space may be given the structure of globular!–groupoid. The proofs use an analogous…

A HOMOTOPY DOUBLE GROUPOID OF A HAUSDORFF SPACE II: A VAN KAMPEN THEOREM

- Mathematics
- 2002

This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a…

Thin Elements and Commutative Shells in Cubical omega-categories

- Mathematics
- 2004

The relationships between thin elements, commutative shells and connec- tions in cubical ω-categories are explored by a method which does not involve the use of pasting theory or nerves of…