Related papers: Simple free star-autonomous categories and full co…
We show that any pasting diagram in any $(\infty,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an…
In this paper we consider some classical varieties of linear algebras over the field which has characteristic 0. For every considered variety we take a category of the finite generated free algebras of this variety. And for every this…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
We call a diagram D absolutely cartesian if F(D) is homotopy cartesian for all homotopy functors F. This is a sensible notion for diagrams in categories C where Goodwillie's calculus of functors may be set up for functors with domain C. We…
Let $G$ be a group acting on a small category $\mathcal C$ over a field $k$, that is $\mathcal C$ is a $G$-$k$-category. We first obtain that $\mathcal C$ is resolvable by a category which is $G$-$k$-equivalent to it, on which $G$ acts…
We establish a formal correspondence between resource calculi an appropriate linear multicategories. We consider the cases of (symmetric) representable, symmetric closed and autonomous multicategories. For all these structures, we prove…
We use purity, a principle borrowed from the foundations of quantum information, to show that all isometric comonoids in the category $\operatorname{CPM}\left(\operatorname{fHilb}\right)$ are necessarily pure. As a corollary, we answer an…
We consider rational power series over an alphabet $\Sigma$ with coefficients in a ordered commutative semiring $K$ and characterize them as the free ordered $K$-semialgebras in various classes of ordered $K$-semialgebras equipped with a…
We generalize Franz' independence in tensor categories with inclusions from two morphisms (which represent generalized random variables) to arbitrary ordered families of morphisms. We will see that this only works consistently if the unit…
Let X be a smooth curve over a finite field of characteristic p, let E be a number field, and consider an E-compatible system of lisse sheaves on the curve X. For each place lambda of E not lying over p, the lambda-component of the system…
Suppose given a Frobenius category E, i.e. an exact category with a big enough subcategory B of bijectives. Let_E_ := E/B denote its classical stable category. For example, we may take E to be the category of complexes C(A) with entries in…
We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free…
The JSJ decomposition and the Makanin-Razborov diagram were proved to be essential in studying varieties over free groups, semigroups and associative algebras. In this paper we suggest a unified conceptual approach to the applicability of…
Free spectrahedra are natural objects in the theories of operator systems and spaces and completely positive maps. They also appear in various engineering applications. In this paper, free spectrahedra satisfying a Reinhardt symmetry…
In any category with a reasonable notion of cover, each object has a group of scissors automorphisms. We prove that under mild conditions, the homology of this group is independent of the object, and can be expressed in terms of the…
We define a coherent adjunction in a strict $3$-category and we use string diagrams to show that any adjunction can be extended to a coherent adjunction in an essentially unique way.
We classify the ultrahomogeneous complete 3-edge-coloured graphs (3-graphs) with simple theory. This extends Lachlan's result (a corollary of the Effective Classification Theorem for stable structures) classifying the stable homogeneous…
Scheme independence of exact renormalization group equations, including independence of the choice of cutoff function, is shown to follow from general field redefinitions, which remains an inherent redundancy in quantum field theories.…
Hypergraph categories have been rediscovered at least five times, under various names, including well-supported compact closed categories, dgs-monoidal categories, and dungeon categories. Perhaps the reason they keep being reinvented is…
This expository article sets forth a self-contained and purely algebraic proof of a deep result of Quillen stating that the category of simplicial commutative algebras over a commutative ring is a model category. This is accomplished by…