Related papers: Symmetric Cubical Sets
We give a geometric model for the category of coherent sheaves over the weighted projective line of type $(p,q)$ in terms of an annulus with marked points on its boundary. We establish a bijection between indecomposable sheaves over the…
Quantum principal bundles or principal comodule algebras are re-interpreted as principal bundles within a framework of Synthetic Noncommutative Differential Geometry. More specifically, the notion of a noncommutative principal bundle within…
Over suitable monoidal model categories, we construct a Dwyer-Kan model category structure on the category of algebras over an augmented operadic collection. As examples we obtain Dwyer-Kan model category structure on the categories of…
We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…
We consider two categories related to symplectic manifolds: 1. Objects are symplectic manifolds and morphisms are symplectic embeddings. 2. Objects are symplectic manifolds endowed with compatible almost complex structure and morphisms are…
Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT…
The invertibility hypothesis for a monoidal model category S asks that localizing an S-enriched category with respect to an equivalence results in an weakly equivalent enriched category. This is the most technical among the axioms for S to…
We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of…
We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…
The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module transforms, is defined. Such operators - that turn out to…
We define a notion of groupoidal 2-quasi-categories and show that they are the fibrant objects of a model structure on the category of $\Theta_2$-sets. We show that this model category is Quillen equivalent to the Kan-Quillen model category…
Let $\mathscr{M}$ be a combinatorial and left proper model category, possibly with a monoidal structure. If $\mathscr{O}$ is either a monad on $\mathscr{M}$ or an operad enriched over $\mathscr{M}$, define a QS-algebra in $\mathscr{M}$ to…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a…
There are many ways to present model categories, each with a different point of view. Here we'd like to treat model categories as a way to build and control resolutions. This an historical approach, as in his original and spectacular…
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
We characterize injective objects, injective hulls and essential embeddings in the category of symmetric categories enriched in a small, integral and involutive quantaloid. In particular, injective partial metric spaces are precisely…
Hermitian cubic norm structures were recently introduced in order to study the class of skew-dimension one structurable algebras (which are typically only defined over fields of characteristic different from $2$ and $3$) over arbitrary…
The theory of shellable simplicial complexes brings together combinatorics, algebra, and topology in a remarkable way. Initially introduced by Alder for $q$-simplicial complexes, recent work of Ghorpade, Pratihar, and Randrianarisoa extends…
Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…