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

We study a new class of so-called quasi-infinitely divisible laws, which is a wide natural extension of the well known class of infinitely divisible laws through the L\'evy--Khinchine type representations. We are interested in criteria of…

The concept of (stable) weak containment for measure-preserving actions of a countable group $\Gamma$ is analogous to the classical notion of (stable) weak containment of unitary representations. If $\Gamma$ is amenable then the Rokhlin…

In this paper we show that the known models for $(\infty, 1)$-categories can all be extended to equivariant versions for any discrete group $G$. We show that in two of the models we can also consider actions of any simplicial group $G$.

We explore a hierarchy of notions in categorical algebra: Mal'tsev categories (where every reflexive relation is symmetric); naturally Mal'tsev categories (where every reflexive graph underlies a unique internal groupoid structure, also…

Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…

We extend the weak-strong uniqueness principle to general models of compressible viscous fluids near/on the vacuum. In particular, the physically relevant case of positive density with polynomial decay at infinity is considered.

It is known that for Banach valued functions there are several approaches to define a Sobolev class. We compare the usual definition via weak derivatives with the Reshetnyak-Sobolev space and with the Newtonian space; in particular, we…

This survey shows how, for the Nevanlinna class N of the unit disc, one can define and often characterize the analogues of well-known objects and properties related to the algebra of bounded analytic functions $ H^\infty$: interpolating…

We study the difference between internal categories and internal groupoids in terms of generalised Mal'tsev properties---the weak Mal'tsev property on the one hand, and $n$-permutability on the other. In the first part of the article we…

We prove a comparison principle for local weak solutions to a class of widely degenerate elliptic equations of the form \begin{equation} -\text{div} \left( \left(|Du|-1 \right)^{p-1}_+\frac{Du}{|Du|} \right) = f(x,u) \qquad \text{ in }…

In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.

Weighting estimators based on propensity scores are widely used for causal estimation in a variety of contexts, such as observational studies, marginal structural models and interference. They enjoy appealing theoretical properties such as…

This text is dedicated to the development of the theory of $(\infty,\omega)$-categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co)limits and…

We consider a sub-class of the $f$-divergences satisfying a stronger convexity property, which we refer to as strongly convex, or $\kappa$-convex divergences. We derive new and old relationships, based on convexity arguments, between…

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

Similarity-sensitive entropy measures the uncertainty of a probability law relative to a similarity kernel that encodes the distinguishability between states. We develop a measure-theoretic treatment covering both finite similarity matrices…

We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…

We introduce and study weak o-minimality in the context of complete types in an arbitrary first-order theory. A type $p\in S(A)$ is weakly o-minimal if for some relatively $A$-definable linear order, $<$, on $p(\mathfrak{C})$ every…

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

The validity of the comparison principle in variable coefficient fully nonlinear gradient free potential theory is examined and then used to prove the comparison principle for fully nonlinear partial differential equations which determine a…