Some category theoretical properties related to a model for a polymorphic lambda-calculus

H.M.M. Ten Eikelder C. Hemerik A model for a second order polymorphic lambda calculus is sketched. Some category theoretical questions appearing in the model construction are extensively treated. COMPUTING SCIENCE NOTES This is a series of notes of the Computing Science Section of the Department of Mathematics and Computing Science Eindhoven University of Technology. Since many of these notes are preliminary versions or may be published elsewhere, they have a limited distribution only and are not for review. Copies of these notes are available from the author or the editor. Eindhoven University of Technology Department of Mathematics and Computing Science P.O. Box 513 5600 MB EINDHOVEN The Netherlands All rights reserved editors: prof.dr.M.Rem prof.dr.K.M.van Hee.