Anfonwch hwn fel neges destun: An Initial−Algebra Approach to Directed Acyclic Graphs