Related papers: Vop\v{e}nka's principle in $\infty$-categories

We introduce "$n$-choiceless" supercompact and extendible cardinals in Zermelo-Fraenkel set theory without the Axiom of Choice. We prove relations between these cardinals and Vop\v{e}nka's Principle similar to those of Bagaria's work in his…

We introduce the notion of $\mathbb{E}_\infty$-descendability as well as a derived variant. We prove that several classes of descendable maps of commutative rings are $\mathbb{E}_\infty$-descendable. As an application, we prove a variant of…

In this paper, we introduce the classes of weakly surjunctive and linearly surjunctive groups which include all sofic groups and more generally all surjunctive groups. We investigate various properties of such groups and establish in…

We establish the equivalence between weak and viscosity solutions for non-homogeneous $p(x)$-Laplace equations with a right-hand side term depending on the spatial variable, the unknown, and its gradient. We employ inf- and sup-convolution…

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…

We address a deep study of the convexity notions that arise in the study of weak* lower semicontinuity of supremal functionals as well as those raised by the power-law approximation of such functionals. Our quest is motivated by the…

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We…

It is shown that $u_k \cdot v_k$ converges weakly to $u\cdot v$ if $u_k\weakto u$ weakly in $L^p$ and $v_k\weakly v$ weakly in $L^q$ with $p, q\in (1,\infty)$, $1/p+1/q=1$, under the additional assumptions that the sequences $\Div u_k$ and…

For two causal structures with the same set of visible variables, one is said to observationally dominate the other if the set of distributions over the visible variables realizable by the first contains the set of distributions over the…

The work concerns the superposition between the Zakai equations and the Fokker-Planck equations on measure spaces. First, we prove a superposition principle for the Fokker-Planck equations on $\mR^\mN$ under the integrable condition. And…

We introduce relative homological and weakly homological categories, where ``relative'' refers to a distinguished class of normal epimorphisms. It is a generalization of homological categories, but also protomodular categories can be…

We provides some new equivalent forms of collection principle over some very weak set theories after reviewing the existing ones.

An n-category is some sort of algebraic structure consisting of objects, morphisms between objects, 2-morphisms between morphisms, and so on up to n-morphisms, together with various ways of composing them. We survey various concepts of…

Using full images of accessible functors, we prove some results about combinatorial and accessible model categories. In particular, we give an example of a weak factorization system on a locally presentable category which is not accessible.

This expository note aims at illustrating weak convergence of probability measures from a broader view than a previously published paper. Though the results are standard for functional analysts, this approach is rarely known by…

There is a rich theory of existence theorems for minimizers over reflexive Sobolev spaces (ex. Eberlein-\v{S}mulian theorem). However, the existence theorems for many variational problems over non-reflexive Sobolev spaces remain…

The reflection principle is the statement that if a sentence is provable then it is true. Reflection principles have been studied for first-order theories, but they also play an important role in propositional proof complexity. In this…

Argumentation is a promising model for reasoning with uncertain knowledge. The key concept of acceptability enables to differentiate arguments and counterarguments: The certainty of a proposition can then be evaluated through the most…

We prove that a weak factorization system on a locally presentable category is accessible if and only if it is small generated in the sense of R. Garner. Moreover, we discuss an analogy of Smith's theorem for accessible model categories.

The purpose of this paper is to provide a proof of James' weak compactness theorem that is able to be taught in a first year graduate class in functional analysis.