Realization of Coinductive Types

摘要

We give an explicit combinatorial construction of final coalgebras for a modest generalization of polynomial functors onSet. Type signatures are modeled as directed multigraphs instead of endofunctors. The final coalgebra for a type signatureFinvolves the notion of Brzozowski derivative on sets of paths inF.