Functorial methods in the theory of group representations I

We introduce a candidate for the group algebra of a Hausdorff group which plays the same role as the group algebra of a finite group. It allows to define a natural bijection between k-continuous representations of the group in a Hilbert space and continuous representations of the group algebra. Such bijections are known, but to our knowledge only for locally compact groups. We can establish such a bijection for more general groups, namely Hausdorff groups, because we replace integration techniques by functorial methods, i.e., by using a duality functor which lives in certain categories of topological Banach balls (resp., unit balls of Saks spaces). © 1995 Kluwer Academic Publishers

Functorial methods in the theory of group representations I

We introduce a candidate for the group algebra of a Hausdorff group which plays the same role as the group algebra of a finite group. It allows to define a natural bijection between k-continuous representations of the group in a Hilbert space and continuous representations of the group algebra. Such bijections are known, but to our knowledge only for locally compact groups. We can establish such a bijection for more general groups, namely Hausdorff groups, because we replace integration techniques by functorial methods, i.e., by using a duality functor which lives in certain categories of topological Banach balls (resp., unit balls of Saks spaces). © 1995 Kluwer Academic Publishers

Functorial methods in the theory of group representations I

We introduce a candidate for the group algebra of a Hausdorff group which plays the same role as the group algebra of a finite group. It allows to define a natural bijection between k-continuous representations of the group in a Hilbert space and continuous representations of the group algebra. Such bijections are known, but to our knowledge only for locally compact groups. We can establish such a bijection for more general groups, namely Hausdorff groups, because we replace integration techniques by functorial methods, i.e., by using a duality functor which lives in certain categories of topological Banach balls (resp., unit balls of Saks spaces). © 1995 Kluwer Academic Publishers

Functorial methods in the theory of group representations I

We introduce a candidate for the group algebra of a Hausdorff group which plays the same role as the group algebra of a finite group. It allows to define a natural bijection between k-continuous representations of the group in a Hilbert space and continuous representations of the group algebra. Such bijections are known, but to our knowledge only for locally compact groups. We can establish such a bijection for more general groups, namely Hausdorff groups, because we replace integration techniques by functorial methods, i.e., by using a duality functor which lives in certain categories of topological Banach balls (resp., unit balls of Saks spaces). © 1995 Kluwer Academic Publishers

Unifying Theories of Programming with Monads

Abstract. The combination of probabilistic and nondeterministic choice in program calculi is a notoriously tricky problem, and one with a long history. We present a simple functional programming approach to this challenge, based on algebraic theories of computational effects. We make use of the powerful abstraction facilities of modern functional languages, to introduce the choice operations as a little embedded domain-specific language rather than having to define a language extension; we rely on referential transparency, to justify straightforward equational reasoning about program behaviour.