Carathéodory's and Helly's dimensions of products of convexity structures
A bounded closed convex set K in a Banach space X is said to have quasi-normal structure if each bounded closed convex subset H of K for which diam(H) > 0 contains a point u for which ∥u-x∥ < diam(H) for each x ∈ H. It is shown that if the convex sets on the unit sphere in X satisfy this condition (which is much weaker than the assumption that convex sets on the unit sphere are separable), then relative to various weak topologies, the unit ball in X is compact whenever it is countably compact....
In this paper we study big convexity theories, that is convexity theories that are not necessarily bounded. As in the bounded case (see [4]) such a convexity theory Γ gives rise to the category ΓC of (left) Γ-convex modules. This is an equationally presentable category, and we prove that it is indeed an algebraic category over Set. We also introduce the category ΓAlg of Γ-convex algebras and show that the category Frm of frames is isomorphic to the category of associative, commutative, idempotent...