Related papers: Moore hyperrectangles on a space form a strict cub…
We show the equivalence of two kinds of strict multiple category, namely the well known globular omega-categories, and the cubical omega-categories with connections.
The relationships between thin elements, commutative shells and connections in cubical omega-categories are explored by a method which does not involve the use of pasting theory or nerves of omega-categories (both of which were previously…
Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We…
Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that…
There are several ways to construct omega-categories from combinatorial objects such as pasting schemes or parity complexes. We make these constructions into a functor on a category of chain complexes with additional structure, which we…
In this paper, we characterise metric spaces which have topologically connected Higson coronas. The characterisation is given by a natural categorical condition applied in the coarse category. We also give a characterisation in terms of…
The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the…
We prove that a finite-dimensional omega-categorical group is finite-by-abelian-by-finite and that a finite-dimensional omega-categorical ring is virtually finite-by-null.
We suggest a new generalization of Pontryagin duality from the category of Abelian locally compact groups to a category which includes all Moore groups, i.e. groups whose irreducible representations are finite-dimensional. Objects in this…
Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant…
Negatively-curved, maximally symmetric hyperbolic spaces enjoy a number of remarkable properties that can be traced back to Riemannian geometry, group theory and algebraic geometry. In this note we recall some such properties and find $H_n$…
We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction…
There are three complete plane geometries of constant curvature: spherical, Euclidean and hyperbolic geometry. We explain how a closed oriented surface can carry a geometry which locally looks like one of these. Focussing on the hyperbolic…
We show that the group of conformal homeomorphisms of the boundary of a rank one symmetric space (except the hyperbolic plane) of noncompact type acts as a maximal convergence group. Moreover, we show that any family of uniformly…
A categorical generalization of the notion of movability from the inverse systems and shape theory was given by the first author who defined the notion of movable category and interpreted by this the movability of topological spaces. In…
We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of omega-categories, building on a set of generating…
In order to diagnose the cause of some defects in the category of canonical hypergroups, we investigate several categories of hyperstructures that generalize hypergroups. By allowing hyperoperations with possibly empty products, one obtains…
It is expected that the $D$-topology makes every diffeological vector space into a topological vector space. We show that it is the case for a large class of diffeological vector spaces via $k_\omega$-space theory, but not so in general.…
We define a notion of weak omega-category internal to a model of Martin-L\"of type theory, and prove that each type bears a canonical weak omega-category structure obtained from the tower of iterated identity types over that type. We show…
It is well known that strict $\omega$-categories, strict $\omega$-functors, strict natural $\omega$-transformations, and so on, form a strict $\omega$-category. A similar property for weak $\omega$-categories is one of the main hypotheses…