Related papers: Thin fillers in the cubical nerves of omega-catego…
It is known that strict omega-categories are equivalent through the nerve functor to complicial sets and to sets with complicial identities. It follows that complicial sets are equivalent to sets with complicial identities. We discuss these…
We show that the nerve of a strict omega-category can be described algebraically as a simplicial set with additional operations subject to certain identities. The resulting structures are called sets with complicial identities. We also…
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…
The nerve of a strict omega-category is a simplicial set with additional structure, making it into a so-called complicial set, and strict omega-categories are in fact equivalent to complicial sets. The nerve functor is represented by a…
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…
This paper continues the development of a simplicial theory of weak omega-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of…
The category of strict omega-categories has an important full subcategory whose objects are the simple omega-categories freely generated by planar trees or by globular cardinals. We give a simple description of this subcategory in terms of…
Our aim is to compare three nerve functors for strict $n$-categories: the Street nerve, the cellular nerve and the multi-simplicial nerve. We show that these three functors are equivalent in some appropriate sense. In particular, the…
In this dissertation, we compare the "classical" homology of an $\omega$-category (defined as the homology of its Street nerve) with its polygraphic homology. More precisely, we prove that both homologies generally do not coincide and call…
The most natural notion of a simplicial nerve for a (weak) bicategory was given by Duskin, who showed that a simplicial set is isomorphic to the nerve of a $(2,1)$-category (i.e. a bicategory with invertible $2$-morphisms) if and only if it…
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.
For any category ${\mathcal E}$ and monad $T$ thereon, we introduce the notion of $T$-simplicial object in ${\mathcal E}$. Any $T$-category in the sense of Burroni induces a $T$-simplicial object as its nerve. This nerve construction…
One can associate to any strict globular $\omega$-category three augmented simplicial nerves called the globular nerve, the branching and the merging semi-cubical nerves. If this strict globular $\omega$-category is freely generated by a…
We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…
We prove a certain proposition which states a relationship between coverings of small categories and nerves. As its application, we prove that for a covering $\map{P}{E}{B}$ of finite categories, the zeta function of $E$ is the zeta…
Thick simplices are the nerves of the contractible groupoids obtained by inverting the arrows in the categories [n]. Using explicit expansions of simplicial subsets of the thick simplices, we present a new approach to results of Rezk and of…
We introduce necklicial nerve functors from enriched categories to simplicial sets, which include Cordier's homotopy coherent, Lurie's differential graded and Le Grignou's cubical nerves. It is shown that every necklicial nerve can be…
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…
We develop a theory of weak omega categories that will be accessible to anyone who is familiar with the language of categories and functors and who has encountered the definition of a strict 2-category. The most remarkable feature of this…
We give a topological description of Ext groups between simple representations of categories via a nerve type construction. We use it to show that the Koszulity of indiscretely based category algebras is equivalent to the locally bouquet…