Related papers: Functors Preserving Effective Descent Morphisms

A full subcategory of a Grothendieck category is called deconstructible if it consists of all transfinite extensions of some set of objects. This concept provides a handy framework for structure theory and construction of approximations for…

A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives…

In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a systematic study of the ways in which these classes of…

We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their…

Mirror Descent is a popular algorithm, that extends Gradients Descent (GD) beyond the Euclidean geometry. One of its benefits is to enable strong convergence guarantees through smooth-like analyses, even for objectives with exploding or…

We introduce a precise notion, in terms of few Schlessinger's type conditions, of extended deformation functors which is compatible with most of recent ideas in the Derived Deformation Theory (DDT) program and with geometric examples. With…

Embedding static graphs in low-dimensional vector spaces plays a key role in network analytics and inference, supporting applications like node classification, link prediction, and graph visualization. However, many real-world networks…

The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As…

Lenses encode protocols for synchronising systems. We continue the work begun by Chollet et al. at the Applied Category Theory Adjoint School in 2020 to study the properties of the category of small categories and asymmetric delta lenses.…

Beauville and Laszlo give an interpretation of the affine Grassmannian for Gl_n over a field k as a moduli space of, loosely speaking, vector bundles over a projective curve together with a trivialization over the complement of a fixed…

The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the…

We define a linear structure on Grothendieck's arithmetic fundamental group $\pi_1(X, x)$ of a scheme $X$ defined over a field $k$ of characteristic 0. It allows us to link the existence of sections of the Galois group ${\rm Gal}(\bar k/k)$…

We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra.…

We develop a homotopical framework for small categories that extends classical invarints of algebraic topology to the categorical setting. Our approach is based on the construction of genuine path category, obtained trough a localization…

Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…

This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…

Diffusion models have established themselves as state-of-the-art generative models across various data modalities, including images and videos, due to their ability to accurately approximate complex data distributions. Unlike traditional…

Let $U$ be a silting object in a derived category over a dg-algebra $A$, and let $B$ be the endomorphism dg-algebra of $U$. Under some appropriate hypotheses, we show that if $U$ is good, then there exist a dg-algebra $C$, a homological…