(1) c/o G. Cedraschi, 1 Rue des Minoteries, Geneva, 1205, Switzerland
Abstract:
The construction of free R-modules over a Cartesian closed topological category X is detailed (where R is a ring object in X), and it is shown that the insertion of generators is an embedding. This result extends the well-known construction of free groups, and more generally of free algebras over a Cartesian closed topological category.
Mathematics Subject Classifications (2000) 18D15, 18D35, 18A40.