Related papers: Symmetric Monoidal Structure with Local Character …

In this article we investigate which categorical structures of a category C are inherited by its arrow category. In particular, we show that a monoidal equivalence between two categories gives rise to a monoidal equivalence between their…

This paper gives an explicit structure theorem for the symmetric group acting on the symmetric algebra of its natural module. Let $G$ be the symmetric group on $x_1,..., x_n$ and let $d_i$ be the $i^{\text{th}}$ elementary symmetric…

In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…

Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the…

Let $\mathcal{S}$ be a small category, and suppose that we are given two (non-full) subcategories $\mathcal{S}^{sm}$ and $\mathcal{S}^{cl}$ that generate all morphisms of $\mathcal{S}$ under composition in the same way as morphisms of…

In this article, we construct integrally closed modules of rank two over a two-dimensional regular local ring. The modules are explicitly constructed from a given complete monomial ideal with respect to a regular system of parameters. Then…

Starting from the seventies mathematicians face the question whether a non-negative local martingale is a true or a strict local martingale. In this article we answer this question from a semimartingale perspective. We connect the…

The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category.…

We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of…

An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…

Every closed orientable surface S has the following property: any two connected covers of S of the same degree are homeomorphic (as spaces). In this, paper we give a complete classification of compact 3-manifolds with empty or toroidal…

We consider the category of presheaves of Gamma-spaces, or equivalently, of Gamma-objects in simplicial presheaves. Our main result is the construction of stable model structures on this category parametrised by local model structures on…

This note is devoted to the study of the homology class of a compact Poisson transversal in a Poisson manifold. For specific classes of Poisson structures, such as unimodular Poisson structures and Poisson manifolds with closed leaves, we…

We introduce a new cubical model for homotopy types. More precisely, we'll define a category Qs with the following features: Qs is a PROP containing the classical box category as a subcategory, the category Qs-Set of presheaves of sets on…

In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and…

In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic)…

In this document, we collect a list of categorical structures on the category $\mathbf{Poly}$ of polynomial functors. There is no implied claim that this list is in any way complete. It includes: infinitely many monoidal structures, all but…

Let $k$ be a field of characteristic zero and I an ideal defining an arrangement of linear subspaces in the affine space $A^n_k$. We compute the D-module theoretic characteristic cycle of the local cohomology modules $H^r_I(k[x_1,...,x_n])$…

Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…

A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…