Introduction. By a lattice homorphism of a group G onto a group G' we mean a single-valued mapping of the lattice L(G) of subgroups of G onto the lattice L(G') of subgroups of G', which preserves all unions and intersections, that is, which is subject to the conditions 1. (U,S,)0 = U,(S¿), 2. (r\vSr) = Ç)ASd>), for every (finite or infinite) set of subgroups 5„ of G. We call proper any l...

Effect algebras have been introduced in the 1990s in the study of the foundations of quantum mechanics, as part of a quantum-theoretic version of probability theory. This paper is part of that programme and gives a systematic account of Lebesgue integration for [0, 1]-valued functions in terms of effect algebras and effect modules. The starting point is the ‘indicator’ function for a measurable...

Electromagnetism can be generalized to Yang–Mills theory by replacing the group U(1) by a nonabelian Lie group. This raises the question of whether one can similarly generalize 2-form electromagnetism to a kind of ‘higher-dimensional Yang–Mills theory’. It turns out that to do this, one should replace the Lie group by a ‘Lie 2-group’, which is a category C where the set of objects and the set o...