Related papers: On lax limits in infinity categories
We provide the classical Boundary Harnack principle in Lipschitz domains for solutions to two different linear uniformly elliptic equations with the same principal part.
We present an extension of the classical theory of calculus of variations to generalized functions. The framework is the category of generalized smooth functions, which includes Schwartz distributions while sharing many nonlinear properties…
We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…
We introduce a formalism to analyze partially defined functions between ordered sets. We show that our construction provides a uniform and conceptual approach to all the main definitions encountered in elementary real analysis including…
We note that large classes of contractions of algebras that arise in physics can be understood purely algebraically, via identifying appropriate $\mathbb{Z}_m$-gradings (and their generalizations) on the parent algebra. This includes…
We develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal categories, and we use these results to prove the universal…
We provide a unified approach to Fra\"{\i}ss\'{e} limits in functional analysis, including the Gurarij space, the Poulsen simplex, and their noncommutative analogs. We obtain in this general framework many known and new results about the…
We introduce the notion of residual finiteness for categories. In analogy with the group-theoretic setting, we prove that free categories and finitely generated subcategories of finite-dimensional vector spaces are residually finite.…
We obtain regularity conditions of a new type of problems of the calculus of variations with second-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main result asserts that autonomous integral…
Restriction categories were introduced as a way of generalising the notion of partial map categories. In this paper, we define cocomplete restriction category, and give the free cocompletion of a small restriction category as a suitably…
We give a Hopf boundary point lemma for weak solutions of linear divergence form uniformly elliptic equations, with H$\ddot{\text{o}}$lder continuous top-order coefficients and lower-order coefficients in a Morrey space.
This paper is the second part of our series of works to establish $L^2$ estimates and existence theorems for the $\overline{\partial}$ operators in infinite dimensions. In this part, we consider the most difficult case, i.e., the underlying…
Some new developments in constrained Lax integrable systems and their applications to physics are reviewed. After summarizing the tau function construction of the KP hierarchy and the basic concepts of the symmetry of nonlinear equations,…
We prove trace inequalities for a self-adjoint operator on an abstract Hilbert space. These inequalities lead to universal bounds on spectral gaps and on moments of eigenvalues lambda_k that are analogous to those known for Schroedinger…
We prove a non-standard functional limit theorem for a two dimensional simple random walk on some randomly oriented lattices. This random walk, already known to be transient, has different horizontal and vertical fluctuations leading to…
We obtain bounded for all $t$ solutions of ordinary differential equations as limits of the solutions of the corresponding Dirichlet problems on $(-L,L)$, with $L \rightarrow \infty$. We derive a priori estimates for the Dirichlet problems,…
We study the expressive power of fragments of inclusion logic under the so-called lax team semantics. The fragments are defined either by restricting the number of universal quantifiers or the arity of inclusion atoms in formulae. In case…
We introduce and study a purely syntactic notion of lax cones and $(\infty,\infty)$-limits on finite computads in \texttt{CaTT}, a type theory for $(\infty,\infty)$-categories due to Finster and Mimram. Conveniently, finite computads are…
We generalize the correspondence between theories and monads with arities of arXiv:1101.3064 to $\infty$-categories. Additionally, we introduce the notion of complete theories that is unique to the $\infty$-categorical case and provide a…
This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections…