Related papers: Abstract Excision and $\ell^1$-Homology
In this paper we study the expressive power of k-ary exclusion logic, EXC[k], that is obtained by extending first order logic with k-ary exclusion atoms. It is known that without arity bounds exclusion logic is equivalent with dependence…
The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose…
Let $F\colon \mathcal{C} \to \mathcal{E}$ be a functor from a category $\mathcal{C}$ to a homological (Borceux-Bourn) or semi-abelian (Janelidze-M\'arki-Tholen) category $\mathcal{E}$. We investigate conditions under which the homology of…
Let $\mathcal{E}=(\mathcal{A},\mathcal{S})$ be an exact category with enough projectives $\mathcal{P}$. We introduce the notion of support $\tau$-tilting subcategories of $\mathcal{E}$. It is compatible with existing definitions of support…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
We develop a categorical index calculus for elliptic symbol families. The categorified index problems we consider are a secondary version of the traditional problem of expressing the index class in K-theory in terms of…
We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's original model of the pure lambda calculus. This calculus…
We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…
In this article, we study the heart of a cotorsion pairs on an exact category and a triangulated category in a unified meathod, by means of the notion of an extriangulated category. We prove that the heart is abelian, and construct a…
In this short note, we propose an unified method to derive formulas for derivations conjugated by exponential functions on an almost complex manifold. In v3, we corrected some mistakes in previous versions.
The well-known difficulties arising in a classification which is not set-theoretically trivial---involving what is sometimes called a non-smooth quotient---have been overcome in a striking way in the theory of operator algebras by the use…
An exciton theory for quasi-one dimensional organic materials is developed in the framework of the Su-Schrieffer-Heeger Hamiltonian augmented by short range extended Hubbard interactions. Within a strong electron-electron correlation…
We introduce a notion of $n$-commutativity ($0\le n\le \infty$) for cosimplicial monoids in a symmetric monoidal category ${\bf V}$, where $n=0$ corresponds to just cosimplicial monoids in ${\bf V,}$ while $n=\infty$ corresponds to…
We define a new version of $\mathbb A^1$-homology, called cellular $\mathbb A^1$-homology, for smooth schemes over a field that admit an increasing filtration by open subschemes with cohomologically trivial closed strata. We provide several…
In this paper we introduce a class of mathematical objects called \emph{extensors} and develop some aspects of their theory with considerable detail. We give special names to several particular but important cases of extensors. The…
Let EHM be Nori's category of effective homological mixed motives. In this paper, we consider the thick abelian subcategory EHM_1 generated by the i-th relative homology of pairs of varieties for i = 0,1. We show that EHM_1 is naturally…
In previous work ("From signatures to monads in UniMath"), we described a category-theoretic construction of abstract syntax from a signature, mechanized in the UniMath library based on the Coq proof assistant. In the present work, we…
In this paper, we first construct some complete cotorson pairs on the category $\mathbb{C}_N(\mathcal{G})$ of unbounded $N$-complexes of Grothendieck category $\mathcal{G}$, from two given cotorsion pairs in $\mathcal{G}$. Next as an…
Homology Hirzebruch characteristic classes for singular varieties have been recently defined by Brasselet-Schuermann-Yokura as an attempt to unify previously known characteristic class theories for singular spaces (e.g., MacPherson-Chern…
We prove that E_n-homology of non-unital commutative algebras can be described as functor homology when one considers functors from a certain category of planar trees with n levels. For different n these homology theories are connected by…