Related papers: Orientals as free weak $\omega$-categories
Lessard's $\mathbb{Z}$-categories are an analogue of $\omega$-categories possessing cells in all positive and negative dimensions. Categorical spectra, developed by Stefanich, are an analogue of spectra obtained by replacing the suspension…
Soft robotics is an emerging field of research where the robot body is composed of compliant and soft materials. It allows the body to bend, twist, and deform to move or to adapt its shape to the environment for grasping, all of which are…
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…
We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong…
We show that \'Ecalle's transseries and their variants (LE and EL-series) can be interpreted as functions from positive infinite surreal numbers to surreal numbers. The same holds for a much larger class of formal series, here called…
We present a unified framework for Petri nets and various variants, such as pre-nets and Kock's whole-grain Petri nets. Our framework is based on a less well-studied notion that we call $\Sigma$-nets, which allow finer control over whether…
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for…
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…
In this paper we introduce a functor, called the simplicial nerve of an A-infinity category, defined on the category of (small) A-infinity categories with values in simplicial sets. We prove that the simplicial nerve of any A-infinity…
There is a lattice of torsion theories in simplicial groups such that the torsion/torsion-free categories are given by simplicial groups with truncated Moore complex below/above a certain degree. We study the restriction of these torsion…
Herzog-Hibi-Hreind\'{o}ttir-Kahle-Rauh introduced the class of closed graph and they proved that the binomial edge ideal $J(G)$ of a graph $G$ has quadratic Gr\"{o}bner bases if $G$ is closed. In this paper, we introduce the class of weakly…
We derive a new sufficient condition for the existence of {\omega}-categorical universal structures in classes of relational structures with constraints, augmenting results by Cherlin, Shelah, Chi, and Hubi\v{c}ka and Ne\v{s}et\v{r}il.…
We introduce a linearly ordered lattice $\mu(Grp)$ of torsion theories in simplicial groups. The torsion theories are defined where the torsion/torsion-free subcategories are given by the simplicial groups with bounded above/below Moore…
We study singularity categories through Gorenstein objects in triangulated categories and silting theory. Let ${\omega}$ be a semi-selforthogonal (or presilting) subcategory of a triangulated category $\mathcal{T}$. We introduce the notion…
We give a direct proof that the category of strict $\omega$-categories is monadic over the category of polygraphs.
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 investigate the properties of the spanning trees of various real-world and model networks. The spanning tree representing the communication kernel of the original network is determined by maximizing total weight of edges, whose weights…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
Let ${\mathscr M}(p)$ $(p=2,3,\ldots)$ be the singlet vertex operator algebra and $\omega$ its conformal vector. We classify the simple weak ${\mathscr M}(p)$-modules with a non-zero element $u$ such that for some integer $s\geq 2$,…
We introduce, for \(\C\) a regular Cartesian Reedy category a model category whose fibrant objects are an analogue of quasicategories enriched in simplicial presheaves on \(C\). We then develop a coherent realization and nerve for this…