Related papers: On rectification and enrichment of infinity proper…
We introduce the concept of matching connectivity as a notion of connectivity in graph admitting perfect matchings which heavily relies on the structural properties of those matchings. We generalise a result of Robertson, Seymour and Thomas…
For any (possibly singular) hyperelliptic curve, we give the definition of a hyperelliptic refined spectral curve and the hyperelliptic refined topological recursion, generalising the formulation for a special class of genus-zero curves by…
Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an "algebraic pattern", bywhich we mean an $\infty$-category equipped with a factorization system and a collection of "elementary"…
We show various upper bounds for the order of a digraph (or a mixed graph) whose Hermitian adjacency matrix has an eigenspace of prescribed codimension. In particular, this generalizes the so-called absolute bound for (simple) graphs first…
A complete first order theory of a relational signature is called monomorphic iff all its models are monomorphic (i.e. have all the $n$-element substructures isomorphic, for each positive integer $n$). We show that a complete theory…
We prove an additivity for evenly (oddly) finite dimensional objects in distinguished triangles in a triangulated monoidal category structured by an underlying model monoidal category. In particular, the result holds in the Q-localized…
We consider non-trivial homomorphisms to reflexive oriented graphs in which some pair of adjacent vertices have the same image. Using a notion of convexity for oriented graphs, we study those oriented graphs that do not admit such…
We investigate how the metric dimension of infinite graphs change when we add edges to the graph. Our two main results: (1) there exists a growing sequence of graphs (under the subgraph relation, but without adding vertices) for which the…
This paper investigates the class of finitely presented monoids defined by homogeneous (length-preserving) relations from a computational perspective. The properties of admitting a finite complete rewriting system, having finite derivation…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we…
Building off of recent results on Keisler's order, we show that consistently, $\leq_{SP}$ has infinitely many classes. In particular, we define the property of $\leq k$-type amalgamation for simple theories, for each $2 \leq k < \omega$. If…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between…
We prove the multiplicity bounds conjectured by Herzog-Huneke-Srinivasan and Herzog-Srinivasan in the following cases: the strong conjecture for edge ideals of bipartite graphs, and the weaker Taylor bound conjecture for all quadratic…
The main motivation of this paper arises from the study of Carnot-Carath\'eodory spaces, where the class of 1-rectifiable sets does not contain smooth non-horizontal curves; therefore a new definition of rectifiable sets including…
We introduce two families of diagrammatic monoidal supercategories. The first family, depending on an associative superalgebra, generalizes the oriented Brauer category. The second, depending on an involutive superalgebra, generalizes the…
We adapt Goldie's concept of uniform dimensions from module theory over rings to $\Gamma$-monoids. A $\Gamma$-monoid $M$ is said to have uniform dimension $n$ if $n$ is the largest number of pairwise incomparable nonzero $\Gamma$-order…
The Hadamard rank of a point with respect to a projective variety is, if it exists, the minimum number of points of the variety whose coordinate-wise product is the given point. We classify the projective varieties for which the Hadamard…
We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius…