Related papers: A Categorical Approach to M\"obius Inversion via D…
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…
A new cohomology, induced by a vector field, is defined on pairs of differential forms ($1$--differentiable forms) in a manifold. It is proved a link with the classical de Rham cohomology and an $1$-differentable cohomology of Lichnerowicz…
Given a higher-rank graph $\Lambda$, we investigate the relationship between the cohomology of $\Lambda$ and the cohomology of the associated groupoid $G_\Lambda$. We define an exact functor between the abelian category of right modules…
The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…
We introduce a class of good endofunctors of $C^{*}$-algebras, endow it with a structure of a bimonoidal category, and define homotopies of natural transformations between such endofunctors. For every pair of $C^{*}$-algebras and a good…
We introduce M\"obius strip diagram algebras (and their monoid and categorical versions) as subalgebras of a partition-style diagram calculus in which strands may carry handles and M\"obius strip features. We identify the resulting diagram…
Given a horizontal monoid M in a duoidal category F, we examine the relationship between bimonoid structures on M and monoidal structures on the category of right M-modules which lift the vertical monoidal structure of F. We obtain our…
We explain how the approach of Andre and Quillen to defining cohomology and homology as suitable derived functors extends to generalized (co)homology theories, and how this identification may be used to study the relationship between them.…
Using quantum skew-Howe duality, we study the category $\operatorname{Rep}(\mathfrak{gl}(m|n))$ of tensor products of exterior powers of the standard representation of $U_q(\mathfrak{gl}(m|n))$, and prove that it is equivalent to a category…
A modeloid, a certain set of partial bijections, emerges from the idea to abstract from a structure to the set of its partial automorphisms. It comes with an operation, called the derivative, which is inspired by Ehrenfeucht-Fra\"iss\'e…
A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…
We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In…
Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands'…
We introduce notions of finiteness obstruction, Euler characteristic, L^2-Euler characteristic, and M\"obius inversion for wide classes of categories. The finiteness obstruction of a category Gamma of type (FP) is a class in the projective…
Let $H$ be a Hopf algebra over a field $k$, and $A$ an $H$-comodule algebra. The categories of comodules and relative Hopf modules are then Grothendieck categories with enough injectives. We study the derived functors of the associated Hom…
We show that the fundamental class in K-homology of a Frobenius split scheme can be computed as a certain alternating sum over irreducible varieties, with the coefficients computed using M\"obius inversion on a certain poset. If G/P is a…
Embedding Calculus, as described by Weiss, is a calculus of functors, suitable for studying contravariant functors from the poset of open subsets of a smooth manifold M, denoted O(M), to a category of topological spaces (of which the…
We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…
We extend the classical concept of deformation of an associative algebra, as introduced by Gerstenhaber, by using monoidal linear categories and cocommutative coalgebras as foundational tools. To achieve this goal, we associate to each…