Related papers: Canonical differential calculi via functorial geom…
We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further…
Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial…
We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible…
The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of…
A general construction of Knop creates a symmetric monoidal category $\mathcal{T}(\mathcal{A},\delta)$ from any regular category $\mathcal{A}$ and a fixed degree function $\delta$. A special case of this construction are the Deligne…
This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the \v{C}ech cohomology…
For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…
Cheeger-Simons differential characters, Deligne cohomology in the smooth category, the Hopkins-Singer construction of ordinary differential cohomology and the recent Harvey-Lawson constructions are each in two distinct ways Abelian group…
We show how the tangent functor extends from ordinary smooth maps to "microformal morphisms" (also called "thick morphisms") of supermanifolds. Microformal morphisms generalize ordinary maps and correspond to formal canonical relations…
For a ribbon fusion category $\mathcal{A}$ and a special symmetric commutative Frobenius algebra $F$ in $\mathcal{A}$, we use factorization homology and the ansular correlators obtained via the modular microcosm principle to construct a…
We construct an algebra and a complex of multidifferential operators on tensor products of a Courant algebroid E with values in the endomorphism bundle of a smooth vector bundle B, predual of E, extending the standard complex of the…
In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral…
We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we…
The notion of denominator vectors can be extended to all generic basis elements of upper cluster algebras in a natural way. Under a weakened version of generic pairing assumption, we provide a representation-theoretic interpretation for…
Using Dunkl operators, we introduce a continuous family of canonical invariants of finite reflection groups. We verify that the elementary canonical invariants of the symmetric group are deformations of the elementary symmetric polynomials.…
Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this…
Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…
First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…
Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…
For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…