Related papers: On effective descent $\mathcal V$-functors and fam…
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be…
The notion of a descent polynomial, a function in enumerative combinatorics that counts permutations with specific properties, enjoys a revived recent research interest due to its connection with other important notions in combinatorics,…
We study some functorial properties of certain sheaves of meromorphic forms on reduced complex space; particulary, the meromorphic forms which extend holomorphicaly on any desingularisation. The purpose concern their behavior under pull…
These notes explain some descent results for $\infty$-categories of sheaves on compact Hausdorff spaces and derive some consequences. Specifically, given a compactly assembled $\infty$-category $\mathcal{E}$, we show that the functor…
We construct a machine which takes as input a locally small symmetric closed complete multicategory $\mathsf V$. And its output is again a locally small symmetric closed complete multicategory $\mathsf V\text-\mathcal{C}at$, the…
The aim of this work is to offer a family of invariants that allows us to classify finite potent endomorphisms on arbitrary vector spaces, generalizing the classification of endomorphisms on finite-dimensional vector spaces. As a particular…
Using the flatification by blow-up result of Raynaud and Gruson, we obtain new results for submersive and subtrusive morphisms. We show that universally subtrusive morphisms, and in particular universally open morphisms, are morphisms of…
We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…
Considering functions $ f $ on $ \R^n $ for which both $ f $ and $ \hat{f} $ are bounded by the Gaussian $ e^{-{1/2}a|x|^2}, 0 < a < 1 $ we show that their Fourier-Hermite coefficients have exponential decay. Optimal decay is obtained for $…
In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving…
We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in…
We show that for an extensive $1$-category $\mathcal{E}$ with pullbacks and pullback stable coequalisers in which the forgetful functor $\mathcal{U}: \mathbf{Cat}(\mathcal{E})_1 \to \mathbf{Gph}(\mathcal{E})$ has left adjoint, the…
The inclusion of 1-categories into $(\infty,1)$-categories fails to preserve colimits in general, and pushouts in particular. In this note, we observe that if one functor in a span of categories belongs to a certain previously-identified…
We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently…
Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ and a left adjoint symmetric monoidal fiber functor to $\operatorname{Mod}_A^{\otimes}$ for some $\mathbb{E}_{\infty}$-ring $A$, one can construct a derived group scheme $G$…
We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…
We prove that the finite-difference based derivative-free descent (FD-DFD) methods have a capability to find the global minima for a class of multiple minima problems. Our main result shows that, for a class of multiple minima objectives…
We study categories whose objects are the braid representations, i.e. strict monoidal functors $F\colon B\rightarrow Mat$ from the braid category $B$ to the category of matrices $Mat$. Braid representations are equivalent to solutions to…
The study of convex functions - in particular, of their optimization (really minimization) is one of the most important fields of applied mathematics. Convexity seems to be one of those incredibly well-chosen hypotheses which is just…
For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K,…