Related papers: Tangent Ind-Categories
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category of finite-dimensional Hilbert spaces into the category of…
We construct a noncommutative geometry with generalised `tangent bundle' from Fell bundle $C^*$-categories ($E$) beginning by replacing pair groupoid objects (points) with objects in $E$. This provides a categorification of a certain class…
We give a new description of computads for weak globular $\omega$-categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads, and allows a new definition of $\omega$-category that…
We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is…
Pre-Tannakian categories are a natural class of tensor categories that can be viewed as generalizations of algebraic groups. We define a pre-Tannkian category to be discrete if it is generated by an \'etale commutative algebra; these…
The configuration category of a manifold is a topological category which we view as a Segal space, via the nerve construction. Our main result is that the unordered configuration category, suitably truncated, admits a finite presentation as…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
Let $R$ be an artin ring and $\Theta=\{\Theta(1),\Theta(2),\cdots,\Theta(n)\}$ be a family of objects in an artin extriangulated $R$-category $(\cal C,\mathbb{E},\mathfrak{s})$ such that $\mathbb{E}(\Theta(j),\Theta(i))=0$ for all $j\geq…
Let C be a finite EI category and k be a field. We consider the category algebra kC. Suppose K(C)=D^b(kC-mod) is the bounded derived category of finitely generated left modules. This is a tensor triangulated category and we compute its…
By using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b(A\mbox{-}{\rm mod})$ admits a categorical…
Locally cartesian closed (lcc) categories are natural categorical models of extensional dependent type theory. This paper introduces the "gros" semantics in the category of lcc categories: Instead of constructing an interpretation in a…
We present bounds for the geometric degree of the tangent bundle and the tangential variety of a smooth affine algebraic variety $V$ in terms of the geometric degree of $V$. We first analyze the case of curves, showing an explicit relation…
We study $N$-differential graded ($NDG$) categories and their the derived categories. First, we introduce $N$-differential modules over an $NDG$ category $\mathcal{A}$. Then we show that the category $\mathsf{C}_{Ndg}(\mathcal{A})$ of…
For an endofunctor $F\colon\mathcal{C}\to\mathcal{C}$ on an ($\infty$-)category $\mathcal{C}$ we define the $\infty$-category $\operatorname{Cart}(\mathcal{C},F)$ of generalized Cartier modules as the lax equalizer of $F$ and the identity.…
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…
A theorem of the first author states that the cotangent bundle of the type $A$ Grassmannian variety can be embedded as an open subset of a smooth Schubert variety in a two-step affine partial flag variety. We extend this result to cotangent…
We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable conditions (including that M forms a factorization system),…
A $\mathcal{C}$-set is a functor from the category $\mathcal{C}$ to the category of finite sets and functions. The category of $\mathcal{C}$-sets, $\mathcal{C} - \operatorname*{set}$, is defined as the category whose objects are…
For every functor $\mathcal{F} : \mathcal{K} \to \mathbf{C}$, where $\mathcal{K}$ is a small category and $\mathbf{C}$ is a model category which satisfies some mild hypotheses, we define a model category $\mathbf{C}^m$ of…
We use filtrations of the tangent bundle of a manifold starting with an integrable subbundle to define transverse symbols to the corresponding foliation, define a condition of transversally Rockland and prove that transversally Rockland…