Using category-theoretic methods and a correspondence between the categories of “spaces” and “algebras,” the author constructs models of the simple (first-order) typed and untyped lambda calculi. Various results on fixpoints in the untyped lambda calculus are then derived using this correspondence. Lamarche also shows how linear logic can be developed using these methods.