Related papers: On a fat small object argument
Combinatorial model categories were introduced by J. H. Smith as model categories which are locally presentable and cofibrantly generated. He has not published his results yet but proofs of some of them were presented by T. Beke or D.…
Given a compact Lie group $G$ and an orthogonal $G$-representation $V$, we give a purely metric criterion for a closed subset of the orbit space $V/G$ to have convex pre-image in $V$. In fact, this also holds with the natural quotient map…
In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and…
The notions and certain fundamental characteristics of the proximal and limiting normal cones with respect to a set are first presented in this paper. We present the ideas of the limiting coderivative and subdifferential with respect to a…
We show how several useful properties of Ind-constructions in $\infty$-categories extend to arbitrary free colimit completion constructions.
We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…
A simple corollary of the localization theorem (due to the author and, independently, to Lian-Liu-Yau) is applied to several problems in enumerative geometry. New formulas for Schubert calculus on flag manifolds, due to Kong, and a new…
Part 2 of 3 from master's thesis: Modeling Compact Objects with Effective Field Theory. Using the Effective Field Theory framework for extended objects, we build the effective theory of a binary system made up of the most general compact…
Stressing the role of dual coalgebras, we modify the definition of affine schemes over the 'field with one element'. This clarifies the appearance of Habiro-type rings in the commutative case, and, allows a natural noncommutative…
We show that the "profinite direct sum" is a good notion of infinite direct sums for profinite modules having properties similar to direct sums of abstract modules. For example, the profinite direct sum of projective modules is projective,…
We show that a profinite completion functor for (simplicial or topological) operads with good homotopical properties can be constructed as a left Quillen functor from an appropriate model category of infinity-operads to a certain model…
We use the properties of Hermite and Kamp\'e de F\'eriet polynomials to get closed forms for the repeated derivatives of functions whose argument is a quadratic or higher-order polynomial. The results we obtain are extended to product of…
We continue our study of relatively divisible and relatively flat objects in exact categories in the sense of Quillen with several applications to exact structures on finitely accessible additive categories and module categories. We derive…
We establish a transcendental generalization of Nakamaye's theorem to compact complex manifolds when the form is not assumed to be closed. We apply the recent analytic technique developed by Collins--Tosatti to show that the non-Hermitian…
We investigate from an algebraic and topological point of view the minimal prime spectrum of a universal algebra, considering the prime congruences w.r.t. the term condition commutator. Then we use the topological structure of the minimal…
Pseudocolimits are formal gluing constructions that combine objects in a category indexed by a pseudofunctor. When the objects are categories and the domain of the pseudofunctor is small and filtered it has been known since Exppose 6 in…
We establish new strong factorization properties for the smooth vectors of representations of exponential solvable Lie groups on Fr\'{e}chet spaces. In particular, our results improve upon the Dixmier-Malliavin factorization theorem for…
We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of…
Given a linear group G over a field k, we define a notion of index and residue of an element g of G(k((t)). This provides an alternative proof of Gabber's theorem stating that G has no subgroups isomorphic to the additive or the commutative…
We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite…