Related papers: Fonctions constructibles et int\'egration motiviqu…
Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion…
We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an \'etale classifying space), and we study basic properties of this construction. As a case study, we construct the motivic analogs of…
We study fibrations arising from indexed categories of the following form: fix two categories $\mathcal{A},\mathcal{X}$ and a functor $F : \mathcal{A} \times \mathcal{X} \longrightarrow\mathcal{X} $, so that to each $F_A=F(A,-)$ one can…
We contribute to the knowledge of the quantifier completions and their applications by using the language of doctrines. This algebraic presentation allows us to properly analyse the behaviour of the existential and universal quantifiers. We…
A natural extension of Riemannian geometry to a much wider context is presented on the basis of the iterated differential form formalism developed in math.DG/0605113 and an application to general relativity is given.
We investigate adjoint and Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads…
We construct a refinement of Gaitsgory's central functor for integral motivic sheaves, and show it preserves stratified Tate motives. Towards this end, we develop a reformulation of unipotent motivic nearby cycles, which also works over…
We give characterizations of the separability of the induction and ad-induction functors associated to a coring morphism.
We construct a theory of motivic integration for smooth rigid varieties. As an application new invariants of degenerations are obtained.
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and…
This survey paper, to appear in he proceedings of the Miami Winter School ``Geometric Methods in Algebra and Number Theory'', is concerned with extending classical results \`a la Ax-Kochen-Er{\v{s}}ov to $p$-adic integrals in a motivic…
We establish a second main theorem for algebraic tori with slow growth moving targets with truncation to level 1. As the first application of this result, we prove the Green-Griffith-Lang conjecture for projective spaces with $n+1$…
We prove a result concerning formality of the pull-back of a fibration. Our approach is to use bar complexes in the category of commutative differential graded algebras. As an application, we generalize an old result of Baum and Smith.
We describe the fibrational structure of sets within the predicative variant $\mathbf{pEff}$ of Hyland's Effective Topos $\mathbf{Eff}$ previously introduced in Feferman's predicative theory of non-iterative fixpoints $\widehat{ID_1}$. Our…
In this paper, we present a general approach to establish motivic cohomology and build part of its six operations formalism. Applying this together with symplectic orientation on MW-motivic cohomology, we discuss the embedding theorem of…
As already observed by Gabriel, coherent sheaves on schemes obtained by gluing affine open subsets can be described by a simple gluing construction. An example due to Ferrand shows that this fails in general for pushouts along closed…
We introduce a harmonic analysis for a class of affine iteration models in $\br^d$. Using Hilbert-space geometry, we develop a new duality notion for affine and contractive iterated function systems (IFSs) and we construct some identities…
One-parameter generalizations of the logarithmic and exponential functions have been obtained as well as algebraic operators to retrieve extensivity. Analytical expressions for the successive applications of the sum or product operators on…
Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied category theory as models of bidirectional processes. From the…
We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation…