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

Based on a Whitehead-type characterization of the sectional category we develop the notion of weak sectional category. This is a new lower bound of the sectional category, which is inspired by the notion of weak category in the sense of…

We present a slight variation on a notion of weak \infty-groupoid introduced by Grothendieck in Pursuing Stacks and we study the homotopy theory of these \infty-groupoids. We prove that the obvious definition for homotopy groups of…

In a seminal work, B. Simon provided a classification of nonnegative Schr\"odinger operators $-\Delta+V$ into subcritical and critical operators based on the long-term behaviour of the associated heat kernel. Later works by others developed…

This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…

We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…

We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…

We show that the homotopy theories of differential graded categories and $\mathrm{A}_\infty$-categories over a field are equivalent at the $(\infty,1)$-categorical level. The results are corollaries of a theorem of Canonaco-Ornaghi-Stellari…

We show that the class $\mathscr{B}$, of discrete groups which satisfy the conclusion of Popa's Cocycle Superrigidity Theorem for Bernoulli actions, is invariant under measure equivalence. We generalize this to the setting of discrete…

Svensson [Found. Phys. 45, 1645 (2015)] argued that the concept of the weak value of an observable of a pre- and post-selected quantum system cannot be applied when the expectation value of the observable in the initial state vanishes.…

For measuring the strength of visually-observed subpopulation differences, the Population Difference Criterion is proposed to assess the statistical significance of visually observed subpopulation differences. It addresses the following…

We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka…

In this paper, we prove a large deviation principle for the empirical measures of a system of weakly interacting diffusion with reflection. We adopt the weak convergence approach. To make this approach work, we show that the sequence of…

We show that probabilistic equivalence of a regret-based preference relationship over random variables is implied by a weak form of continuity and monotonicity.

Weak value is increasingly acknowledged as an important research tool for probing quantum pre- and post-selected ensembles, where some extraordinary phenomena occur. We generalize this concept to the broader notion of "weak potential" which…

We show that induction over $\Delta(\mathbb R)$-definable well-founded classes is equivalent to the reflection principle which asserts that any true formula of first order set theory with real parameters holds in some transitive set. The…

A general approach to the measurement of an observable with pre- and post-selection is presented. The limit of weak measurement is studied in detail, and it is shown that the phase of the probe, including a Hamiltonian contribution to it,…

The physical meaning of weak values and measurements can be completely understood with Born rule and the general probability theory. It is known that the weak value of an observable $\hat A$ with post-selection $\langle F|$ may be out of…

While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty,…

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform…

We show that call-by-need is observationally equivalent to weak-head needed reduction. The proof of this result uses a semantical argument based on a (non-idempotent) intersection type system called $\mathcal{V}$. Interestingly, system…