相关论文: Comparison of the $n$-categorical nerves

The aim of these notes is to introduce the intuition motivating the notion of a "complicial set", a simplicial set with certain marked "thin" simplices that witness a composition relation between the simplices on their boundary. By varying…

We present a unifying approach where weak forces and neutrino oscillations are interpreted under the same standards of torsional hybrid gravity. This gravitational theory mixes metric and metric-affine formalism in presence of torsion and…

Nervous systems are characterized by neurons displaying a diversity of morphological shapes. Traditionally, different shapes have been qualitatively described based on visual inspection and quantitatively described based on morphometric…

We introduce a notion of weak convergence in arbitrary metric spaces. Metric functionals are key in our analysis: weak convergence of sequences in a given metric space is tested against all the metric functionals defined on said space. When…

It is a well established fact that the notions of quasi-abelian categories and tilting torsion pairs are equivalent. This equivalence fits in a wider picture including tilting pairs of $t$-structures. Firstly, we extend this picture into a…

This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of…

The classical Dold-Kan correspondence is known to admit a categorification in the form of an equivalence between the $\infty$-categories of $2$-simplicial stable $\infty$-categories and connective chain complexes of stable…

It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

We introduce the notion of double cosets relative to two fusion subcategories of a fusion category. Given a tensor functor $F : \C \to \D$ between fusion categories, we introduce an equivalence relation $\approx^F$ on the set $\Lambda_\C$…

We introduce a new notion of equivalence of discrete Morse functions on graphs called persistence equivalence. Two functions are considered persistence equivalent if and only if they induce the same persistence diagram. We compare this…

In this paper we introduce and study three new measures for efficient discriminative comparison of phylogenetic trees. The NNI navigation dissimilarity $d_{nav}$ counts the steps along a "combing" of the Nearest Neighbor Interchange (NNI)…

We study functors from spaces to spaces or spectra that preserve weak homotopy equivalences. For each such functor we construct a universal n-excisive approximation, which may be thought of as its n-excisive part. Homogeneous functors,…

We describe a generalization of Gabriel and Zisman's Calculus of Fractions to quasicategories, showing that the two essentially coincide for the nerve of a category. We then prove that the marked Ex-functor can be used to compute the…

Using ideas of the Dowker duality we prove that the Rips complex at scale $r$ is homotopy equivalent to the nerve of a cover consisting of sets of prescribed diameter. We then develop a functorial version of the Nerve theorem coupled with…

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…

We discuss various concepts of $\infty$-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular $\infty$-$n$-homotopies appear as the $n$-simplices of the nerve of a complete Lie ${\infty}$-algebra.…

The study of neuronal morphology is important not only for its potential relationship with neuronal dynamics, but also as a means to classify diverse types of cells and compare than among species, organs, and conditions. In the present…

We show that any functor between $\infty$-categories can be straightened. More precisely, we show that for any $\infty$-category $\mathcal{C}$, there is an equivalence between the $\infty$-category $(\mathrm{Cat}_{\infty})_{/\mathcal{C}}$…

In a graph $\Gamma=(V,E)$, we consider the common closed neighbourhood of a subset of vertices and use this notion to introduce a Moore closure operator in $V.$ We also consider the closed twin equivalence relation in which two vertices are…