相关论文: Simple omega-categories and chain complexes

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…

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.

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…

The orientals or oriented simplexes are a family of strict omega-categories constructed by Ross Street. We show that the category of orientals is isomorphic to a subcategory of the category of chain complexes. This leads to a very simple…

We give a direct proof that the category of strict $\omega$-categories is monadic over the category of polygraphs.

Strong Steiner $\omega$-categories are a class of $\omega$-categories that admit algebraic models in the form of chain complexes, whose formalism allows for several explicit computations. The conditions defining strong Steiner…

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…

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…

This thesis studies the omega-categories associated with products of infinite-dimensional globes.

We deal with the category of finitely generated modules over an artin algebra $A$. Recall that an object in an abelian category is said to be a brick provided its endomorphism ring is a division ring. Simple modules are, of course, bricks,…

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 shown that the cubical nerve of a strict omega-category is a sequence of sets with cubical face operations and distinguished subclasses of thin elements satisfying certain thin filler conditions. It is also shown that a sequence of…

We give a simple algebraic description of opetopes in terms of chain complexes, and we show how this description is related to combinatorial descriptions in terms of treelike structures. More generally, we show that the chain complexes…

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…

Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…

We classify primitive, rank 1, omega-categorical structures having polynomially many types over finite sets. For a fixed number of 4-types, we show that there are only finitely many such structures and that all are built out of finitely…

We give a new proof that the opposite of Joyal's disk category $\mathcal{D}_n$ is Berger's wreath product category $\Theta_n = \Delta\wr\cdots\wr\Delta$. Our techniques continue to apply when the simplex category $\Delta$ is replaced by…

We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient…

We consider four categories: the category of diagrams of small categories indexed by a given small category O, the (comma) category of small categories over O, the category of diagrams of simplicial sets indexed by O, and the category of…

We introduce the notion of a positive opetope and positive opetopic cardinals as certain finite combinatorial structures. The positive opetopic cardinals to positive-to-one polygraphs are like simple graphs to free omega-categories over…