Related papers: On log motives
We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the…
By showing the compatibility of folding almost positive roots and folding cluster categories, we prove that there is a one-to-one correspondence between seeds and tilting seeds in non-simply-laced finite cases.
We give a necessary and sufficient condition for a morphism between recollements of abelian categories to be an equivalence.
As a higher genus version of universal mixed elliptic motives by Hain and Matsumoto, we consider mixed Teichm\"uller motives as certain motivic local systems on the moduli space of pointed curves. We show that the category of mixed…
We show that the cellular objects in the module category over a motivic E infinity ring spectrum E can be described as the module category over a graded topological spectrum if E is strongly periodizable in our language. A similar statement…
We extend the logical categories framework to first order modal logic. In our modal categories, modal operators are applied directly to subobjects and interact with the background factorization system. We prove a Joyal-style representation…
Given two smooth projective varieties X and Y over a field, we say that X motivates Y if the (suitably defined) motive of Y is contained in the category generated from X by taking sums, summands and products. This notion has appeared…
We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…
Let $G$ be a split semisimple algebraic group over a field and let $A^*$ be an oriented cohomology theory in the sense of Levine--Morel. We provide a uniform approach to the $A^*$-motives of geometrically cellular smooth projective…
Classical polylogarithms give rise to a variation of mixed Hodge-Tate structures on the punctured projective line $S=\mathbb{P}^1\setminus \{0, 1, \infty\}$, which is an extension of the symmetric power of the Kummer variation by a trivial…
Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper, we show how the context of a `noetherian form', recently…
We present an approach to support partiality in type-level computation without compromising expressiveness or type safety. Existing frameworks for type-level computation either require totality or implicitly assume it. For example, type…
In this article we further the study of non-commutative motives. We prove that bivariant cyclic cohomology (and its variants) becomes representable in the category of non-commutative motives. Furthermore, Connes' bilinear pairings…
Over a scheme of finite type over a field of characteristic zero, we prove that Nori an Voevodsky categories of relative Artin motives, that is the full subcategories generated by the motives of \'etale morphisms in relative Nori and…
Following Eilenberg-Steenrod axiomatic approach we construct the universal ordinary homology theory for any homological structure on a given category by representing ordinary theories with values in abelian categories. For a convenient…
This paper deals with classifying ambiguities for Multimodal Languages. It evolves the classifications and the methods of the literature on ambiguities for Natural Language and Visual Language, empirically defining an original…
A category of correspondences based on Waldhausen A-theory has interesting analogies, in the context of differential topology, to categories of mixed Tate motives studied in arithmetic geometry. In particular, the Hopf object S \wedge_A S…
Anderson t-modules are analogs of abelian varieties in positive characteristic. Associated to such a t-module, there are its t-motive and its dual t-motive. When dealing with these objects, several questions occur which one would like to…
We define the category of \'etale Chow motives as the \'etale analogue of Grothendieck motives and proved that it embeds in $\text{DM}_{\text{\'et}}(k)$. This construction provides a characterization of the generalized Hodge conjecture in…
Abelian groups having partial orderings compatible with their binary operations have long been studied in the literature. In particular, lattice-ordered abelian groups constitute a universal-algebraic variety, and thus form a category which…