Discusses DAGs in the context of initial algebras and categories, with an eye to eliminating cycles through correct composition rules. -- Jason Dusek |...Discusses DAGs...| http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/damgs.ps.gz