Free finitary algebras on compactly generated spaces

An explicit colimit formula is used to describe the free k-space algebra on a given k-space for any k-enriched finitary theory. A question, raised and solved affirmatively by several authors, has been that of whether the free k-space group on a weakly hausdorff k-space is again weakly hausdorff and admits a closed embedding of the generators. In the present article both these features of finitary k-space algebra are combined to answer analogous questiona regarding the free finitary k-space algebras in general, and the weakly hausdorff separation axiom. Relationships with other problems in k-space theory are described.