Related papers: Fully faithful functors and pushouts of $\infty$-c…
This paper investigates some aspects of the variational behaviour of nonsmooth functions, with special emphasis on certain stability phenomena. Relationships linking such properties as sharp minimality, superstability, error bound and…
Let $n$ be a non-negative integer. {Motivated by the universal property of the stable category of Frobenius categories, the authors in \cite{bfss} extended the stabilization of Frobenius categories to $n$-Frobenius categories, and called it…
In this paper, we deal with stable homology computations with twisted coefficients for mapping class groups of surfaces and of 3-manifolds, automorphism groups of free groups with boundaries and automorphism groups of certain right-angled…
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we…
We study optimization-based criteria for the stability of switching systems, known as Path-Complete Lyapunov Functions, and ask the question "can we decide algorithmically when a criterion is less conservative than another". Our…
We compare the classifying anima of two natural condensed $\infty$-categories associated to a coherent $\infty$-topos. One from our work with Barwick and Glasman on exit-path categories in algebraic geometry, and the other from Lurie's work…
We study stability conditions on the derived categories of coherent sheaves on some projective varieties. We give a complete description of the stability manifold for smooth projective curves and we examine a connected open subset of the…
In this paper we define a pair of faithful functors that map isomorphic and isotopic finite-dimensional algebras over finite fields to isomorphic graphs. These functors reduce the cost of computation that is usually required to determine…
We extend the Stainless deductive verifier with floating-point support, providing the first automated verification support for floating-point numbers for a subset of Scala that includes polymorphism, recursion and higher-order functions. We…
We summarize the status of constructing fixed functionals within the f(R)-truncation of Quantum Einstein Gravity in three spacetime dimensions. Focusing on curvatures much larger than the IR-cutoff scale, it is shown that the fixed point…
We prove large-data local stability theorems for several spin models in two dimensions.
The presence of artificial intelligence (AI) in our society is increasing, which brings with it the need to understand the behavior of AI mechanisms, including machine learning predictive algorithms fed with tabular data, text or images,…
We study path-complete Lyapunov functions, which are stability criteria for switched systems, described by a combinatorial component (namely, an automaton), and a functional component (a set of candidate Lyapunov functions, called the…
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 prove some results on the border of Ramsey theory (finite partition calculus) and model theory. Also a beginning of classification theory of finite models in undertaken.
We study the stability of the Positive Mass Theorem using the Intrinsic Flat Distance. In particular we consider the class of complete asymptotically flat rotationally symmetric Riemannian manifolds with nonnegative scalar curvature and no…
We find a new family of non-separable coordinate transformations bringing the FRW metrics into the manifestly conformally flat form. Our results are simple and complete, while our derivation is quite explicit. We also calculate all the FRW…
We define a functor which takes in an $(\infty,1)$-category and outputs an $(\omega,1)$-category, the natural maximally "strict" version of an $(\infty,1)$-category. We do this by modeling $(\infty,1)$-categories as categories enriched in…
Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…
Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…