Related papers: The equivalence between many-to-one polygraphs and…
Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewriting in the context of strict higher categories, adopting the…
In an earlier paper, the first two authors defined orientations on hypergraphs. Using this definition we provide an explicit bijection between acyclic orientations in hypergraphs and faces of hypergraphic polytopes. This allows us to obtain…
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…
We construct a new model category presenting the homotopy theory of presheaves on "inverse EI $(\infty,1)$-categories", which contains universe objects that satisfy Voevodsky's univalence axiom. In addition to diagrams on ordinary inverse…
This is part one of a series of papers. In this series of papers, we consider problems analogous to the Oppenheim conjecture from the viewpoint of prehomogeneous vector spaces.
We prove, as claimed by A.Carboni and P.T.Johnstone, that the category of non-unital polygraphs, i.e. polygraphs where the source and target of each generator are not identity arrows, is a presheaf category. More generally we develop a new…
We introduce a higher-uniformity analogue of graphic zonotopes and permutohedra. Specifically, given a $(d+1)$-uniform hypergraph $H$, we define its hypergraphic zonotope $\mathcal{Z}_H$, and when $H$ is the complete $(d+1)$-uniform…
Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and Moerdijk showed that every topos with enough points can be represented as the topos of sheaves on an open topological groupoid.…
Butz and Moerdijk famously showed that every (Grothendieck) topos with enough points is equivalent to the category of sheaves on some topological groupoid. We give an alternative, more algebraic construction in the special case of a topos…
We prove two representability theorems, up to homotopy, for presheaves taking values in a closed symmetric combinatorial model category \cat V. The first theorem resembles the Freyd representability theorem, the second theorem is closer to…
The immensely fruitful concept of Grothendieck topology or covering issued from the efforts of algebraic geometers to study "sheaf-like" objects defined on categories more general than the lattice of open sets on a topological space. In the…
We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…
We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…
We give a model of set theory based on multisets in homotopy type theory. The equality of the model is the identity type. The underlying type of iterative sets can be formulated in Martin-L\"of type theory, without Higher Inductive Types…
Equivariant Ehrhart theory generalizes the study of lattice point enumeration to also account for the symmetries of a polytope under a linear group action. We present a catalogue of techniques with applications in this field, including…
Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in particular, to the definition of weak $\omega$-categories,…
Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…
We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of Generalised Continuum Hypothesis about which more can be…
We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…
Some basic mathematical tools such as convex sets, polytopes and combinatorial topology, are used quite heavily in applied fields such as geometric modeling, meshing, computer vision, medical imaging and robotics. This report may be viewed…