Related papers: Orientals as free weak $\omega$-categories

We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups,…

The theory of regular model sets is highly developed, but does not cover examples such as the visible lattice points, the k-th power-free integers, or related systems. They belong to the class of weak model sets, where the window may have a…

In this work, we relate the three main formalisms for the notion of pasting diagram in strict $\omega$-categories: Street's parity complexes, Johnson's pasting schemes and Steiner's augmented directed complexes. In the process, we show that…

Reasoning about weak higher categorical structures constitutes a challenging task, even to the experts. One principal reason is that the language of set theory is not invariant under the weaker notions of equivalence at play, such as…

The degree distribution, referred to as the delta-sequence of a network is studied. Using the non-normalized Lorenz curve, we apply a generalized form of the classical majorization partial order. Next, we introduce a new class of small…

We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model…

A simplex-based network is referred to as a higher-order network, in which describe that the interactions can include more than two nodes. Many multicomponent interactions can be grasped through simplicial complexes, which have recently…

We give a new simple proof of the decidability of the First Order Theory of (omega^omega^i,+) and the Monadic Second Order Theory of (omega^i,<), improving the complexity in both cases. Our algorithm is based on tree automata and a new…

A new class of (not necessarily bounded) operators related to (mainly infinite) directed trees is introduced and investigated. Operators in question are to be considered as a generalization of classical weighted shifts, on the one hand, and…

While chain complexes are equipped with a differential $d$ satisfying $d^2 = 0$, their generalizations called $N$-complexes have a differential $d$ satisfying $d^N = 0$. In this paper we show that the lax nerve of the category of chain…

A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As…

We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of…

In this paper, we introduce a new category of simplicial effects that extends the categories of effect algebras and their multi-object counterpart, effect algebroids. Our approach is based on relaxing the associativity condition satisfied…

For a Kan complex with a vertex, we have the notion of its simplicial homotopy groups. In this paper, for a weak complicial set in the sense of Verity with a vertex, we construct monoids which are a generalization of simplicial homotopy…

In strictly factorisable operadic categories, every morphism $f$ factors uniquely as $f=\eta_f \circ \pi_f$ where $\eta_f$ is order-preserving and $\pi_f$ is a quasi\-bijection that is order-preserving on the fibres of $\eta_f$. We call it…

We study the local isomorphism classes, also known as genera or weak equivalence classes, of fractional ideals of orders in \'etale algebras. We provide a classification in terms of linear algebra objects over residue fields. As a…

We consider a class of simple, non-trivial models of evolving weighted scale-free networks. The network evolution in these models is determined by attachment of new vertices to ends of preferentially chosen weighted edges. Resulting…

In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we…

Models of dependent type theories are contextual categories with some additional structure. We prove that if a theory $T$ has enough structure, then the category $T\text{-}\mathbf{Mod}$ of its models carries the structure of a model…

We provide a detailed study of the phenomenology of orbifold compactifications of the heterotic string within the context of supergravity effective theories. Our investigation focuses on those models where the soft Lagrangian is dominated…