• Corpus ID: 14649818

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. 
A Model Of Type Theory In Cubical Sets With Connections
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 (
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
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
TLDR
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
TLDR
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
TLDR
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
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
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
TLDR
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
TLDR
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.
...
1
2
...

References

SHOWING 1-10 OF 32 REFERENCES
La catégorie cubique avec connexions est une catégorie test stricte
— 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
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
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
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
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
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
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
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
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
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
...
1
2
3
4
...