Related papers: A categorical approach to the maximum theorem
The maximum principle for SPDEs is established in multidimensional $C^{1}$ domains. An application is given to proving the H\"older continuity up to the boundary of solutions of one-dimensional SPDEs.
We consider threshold phenomenons in the context of weighted $\ell^2$-spaces. Our main result is a summable Baire category version of K\"orner's topological Ivashev-Musatov Theorem, which is proved to be optimal from several aspects.
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
This paper supplements [17], showing that categorically the layered theory is the same as the theory of ordered monoids (e.g. the max-plus algebra) used in tropical mathematics. A layered theory is developed in the context of categories,…
With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…
If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…
For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…
We classify the propositional modal validities arising from the category of sets under its natural classes of morphisms. The resulting validities depend on the morphism class, the size of the world, and the permitted substitution instances.…
We extend a classical theorem of Courr\`{e}ge to Lie groups in a global setting, thus characterising all linear operators on the space of smooth functions of compact support that satisfy the positive maximum principle. We show that these…
This article makes no claim to originality, other than, perhaps, the simple statement here called the {\it Abstract Maximum Principle}. Actually, the whole contents are strongly based on some H. Sussmann's and coauthors' papers, in which,…
In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits…
We give necessary and sufficient conditions on a presentable infinity-category C so that families of objects of C form an infinity-topos. In particular, we prove a conjecture of Joyal that this is the case whenever C is stable.
We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…
In this article, we prove maximal inequality and ergodic theorems for state preserving actions on von Neumann algebra by an amenable, locally compact, second countable group equipped with the metric satisfying the doubling condition. The…
The theorem like Pontryagin's maximum principle for multiple integrals is proved. Unlike the usual maximum principle, the maximum should be taken not over all matrices, but only on matrices of rank one. Examples are given.
In this article, we interconnect two different aspects of higher category theory, in one hand the theory of infinity categories and on an other hand the theory of 2-categories.We construct an explicit functorial path objet in the model…
The sum theorem and its corollaries are proved for a countable family of zero-dimensional (in the sense of small and large inductive bidimensions) p-closed sets, using a new notion of relative normality whose topological correspondent is…
We present a categorical viewpoint of probability measures by showing that a probability measure can be viewed as a weakly averaging affine measurable functional taking values in the unit interval which preserves limits. The probability…
On a one-sided shift of finite type we prove that for a generic Holder continuous function there is a unique maximizing measure. We show that b-Holder continuous functions can be approximated in the a-Holder topology, a<b, by a function…
We investigate the Courr\`{e}ge theorem in the context of linear operators $A$ that satisfy the positive maximum principle on a space of continuous functions over a symmetric space. Applications are given to Feller--Markov processes. We…