The following short paper is available via ftp. The procedure follows the title and abstract Left Kan Extensions Over omega-Cat David B. Benson Electrical Engineering & Computer Science Washington State University Pullman, WA 99164-2752 dbenson@eecs.wsu.edu 1993 Feb 28 Abstract An existing procedure to compute left Kan extensions over the ground category Set also computes left Kan extensions over the ground categories Cat, 2-Cat, n-Cat for any n and indeed omega-Cat. Therefore extension data structured in this manner already can make use of the left Kan extension notion of a best possible approximation. Examples include systems of labeled transition systems and certain higher dimensional rewriting systems. -------------------- ftp ftp.eecs.wsu.edu login: anonymous password: <your email address> cd pub/papers/dbenson/kancat binary get Kan.dvi.Z (shortest file) -or- get Kan.dvi -or- get Kan.ps.Z -or- get Kan.ps (longest file) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++