Related papers: Derivations in Codifferential Categories
Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…
We define a notion of categorical first order deformations for (enhanced) triangulated categories. For a category $\mathcal{T}$, we show that there is a bijection between $\operatorname{HH}^2(\mathcal{T})$ and the set of categorical…
Usually a name of the category is inherited from the name of objects. However more relevant for a category of objects and morphisms is an algebra of morphisms. Therefore we prefer to say a category of graphs if every morphism is a graph. In…
In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…
Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fall under the theory of generalized polynomial categories,…
A differential modality is a comonad on an additive symmetric monoidal category $(\mathsf{C},\otimes,I)$, whose underlying functor we denote $!\colon\mathsf{C} \rightarrow \mathsf{C}$, together with some additional structure including a…
It is well-known that small categories have equivalent descriptions as partial monoids. We provide a formulation of partial monoid and partial monoid homomorphism involving $s$ and $t$ instead of identities and then following a recent…
Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth…
We define a tracelike transformation to be a natural family of conjugation invariant maps $T_{x,C}: hom_C(x,x) \to hom_C(1,1)$ for all dualisable objects $x$ in any symmetric monoidal infinity-category $C$. This generalises the trace from…
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),…
The derived category of bounded complexes of coherent sheaves is one of the most important algebraic invariants of a smooth projective variety. An important approach to understand derived categories is to construct full strongly exceptional…
Comparing the bounded derived categories of an algebra and of the endomorphism algebra of a given support {\tau}-tilting module, we find a relation between the derived dimensions of an algebra and of the endomorphism algebra of a given…
We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that…
In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can…
We give a rigorous formulation of the intuitive idea that a differentiable map should be thesame thing as a locally, or infinitesimally, linear map: just as a linear map respects the operations of addition and multiplication by scalars ina…
In this paper, we consider associative algebras equipped with derivations. A pair consisting of an associative algebra and a distinguished derivation is called an AssDer pair. We study central extensions and formal one-parameter…
We study a class of matrix function algebras, here denoted $\mathcal{T}^{+}(\mathcal{C}_n)$. We introduce a notion of point derivations, and classify the point derivations for certain finite dimensional representations of…
We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured objects from homotopy theory. A central…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…