Related papers: A Potential Definition of Weak $\omega$-Category
We propose a definition of double categories whose composition of 1-cells is weak in both directions. Namely, a doubly weak double category is a double computad -- a structure with 2-cells of all possible double-categorical shapes --…
Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently.…
In this paper, firstly, we introduce a higher-dimensional analogue of hypergraphs, namely $\omega$-hypergraphs. This notion is thoroughly flexible because unlike ordinary $\omega$-graphs, an n-dimensional edge called an n-cell has many…
Classical definitions of weak higher-dimensional categories are given inductively; for example, a bicategory has a set of objects and hom categories, and a tricategory has a set of objects and hom bicategories. However, more recent…
Higher categorical structures are often defined by induction on dimension, which a priori produces only finite-dimensional structures. In this paper we show how to extend such definitions to infinite dimensions using the theory of terminal…
We introduce a notion of "weak model category" which is a weakening of the notion of Quillen model category, still sufficient to define a homotopy category, Quillen adjunctions, Quillen equivalences and most of the usual construction of…
Given a dimension function $\omega$, we define a notion of an $\omega$-vector weighted digraph and an $\omega$-equivalence between them. Then we establish a bijection between the weakly $(\mathbb{Z}/2)^n$-equivariant homeomorphism classes…
A multicategory is what remains of a monoidal category when monoidal product is not available. A weak multicategory means that hom-sets are in fact categories, and in place of usual equations, there are natural isomorphisms, which have to…
We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.
This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…
We introduce a notion of quasi-weak equivalences associated with weak-equivalences in an exact category. It gives us a delooping for (idempotent complete) exact categories and a condition that the negative $K$-group of an exact category…
This paper introduces the construction of a weakly globular double category of fractions for a category and studies its universal properties. It shows that this double category is locally small and considers a couple of concrete examples.
We study $\omega$-weak equivalences between weak $\omega$-categories in the sense of Batanin-Leinster. Our $\omega$-weak equivalences are strict $\omega$-functors satisfying essential surjectivity in every dimension, and when restricted to…
We investigate the notion of involutive weak cubical $\omega$-categories via Penon's approach: as algebras for the monad induced by the free involutive strict $\omega$-category functor on cubical $\omega$-sets. A few examples of involutive…
Batanin defines a weak $\omega$-category as an algebra for a certain operad. Leinster refines this idea and defines the weak $\omega$-category operad as the initial object of a category of "operads with contraction". We demonstrate how a…
A new class of languages of infinite words is introduced, called the max-regular languages, extending the class of $\omega$-regular languages. The class has two equivalent descriptions: in terms of automata (a type of deterministic counter…
We give a simple, elementary proof that a uniform algebra is weakly sequentially complete if and only if it is finite-dimensional.
We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, defining weak functors and transformations. We exhibit a…
It is known that monoidal categories have a finite definition, whereas multicategories have an infinite (albeit finitary) definition. Since monoidal categories correspond to representable multicategories, it goes without saying that…
The concepts of complementarity and entanglement are considered with respect to their significance in and beyond physics. A formally generalized, weak version of quantum theory, more general than ordinary quantum theory of material systems,…