Related papers: Weak Fraisse categories
It has been known that categorical interpretations of dependent type theory with Sigma- and Id-types induce weak factorization systems. When one has a weak factorization system (L, R) on a category C in hand, it is then natural to ask…
The notion of weak tiling was a key ingredient in the proof of Fuglede's spectral set conjecture for convex bodies \cite{conv}, due to the fact that every spectral set tiles its complement weakly with a suitable Borel measure. In this paper…
This note describes Fatou's lemma and Lebesgue's dominated convergence theorem for a sequence of measures converging weakly to a finite measure and for a sequence of functions whose negative parts are uniformly integrable with respect to…
We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rational unification by constraints x$\subseteq$ y saying that…
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…
The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…
The past two decades have witnessed the great success of the algorithmic modeling framework advocated by Breiman et al. (2001). Nevertheless, the excellent prediction performance of these black-box models rely heavily on the availability of…
Let $\cF$ be a family of finite loops closed under subloops and factor loops. Then every loop in $\cF$ has the strong Lagrange property if and only if every simple loop in $\cF$ has the weak Lagrange property. We exhibit several such…
We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…
A problem of paramount importance in both pure (Restricted Invertibility problem) and applied mathematics (Feature extraction) is the one of selecting a submatrix of a given matrix, such that this submatrix has its smallest singular value…
A classical result of Halmos asserts that among measure preserving transformations the weak mixing property is generic. We extend Halmos' result to the collection of ergodic extensions of a fixed, but arbitrary, ergodic transformation…
A QSIN group is a locally compact group $G$ whose group algebra $L^1(G)$ admits a quasi-central bounded approximate identity. Examples of QSIN groups include every amenable group and every discrete group. It is shown that if $G$ is a QSIN…
We characterize categories with weak finite limits whose regular completions give rise to Goursat categories.
A weak metric on a set is a function that satisfies the axioms of a metric except the symmetry and the separation axioms. In the present paper we introduced a weak metric, called the Apollonian weak metric, on any subset of a Euclidean…
We introduce the weak Haagerup property for locally compact groups and prove several hereditary results for the class of groups with this approximation property. The class contains a priori all weakly amenable groups and groups with the…
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 weak regular coherence is a coarse property of a finitely generated group $\Gamma$. It was introduced by G. Carlsson and this author to play the role of a weakening of Waldhausen's regular coherence as part of computation of the…
Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based constructions. For example, they cannot capture protocols such as quantum…
Due to collision singularities, the Lagrange action functional of the N-body problem in general is not differentiable. Because of this, the usual critical point theory can not be applied to this problem directly. Following ideas from…
We show that every inclusion of von Neumann algebras with a faithful normal conditional expectation has the weak relative Dixmier property. This answers a question of Popa \cite{Po99}. The proof uses an improvement of Ellis' lemma for…