Titlebook: Coalgebraic Methods in Computer Science; 13th IFIP WG 1.3 Int Ichiro Hasuo Conference proceedings 2016 IFIP International Federation for In

清楚

https://doi.org/10.1007/978-3-211-71539-0 preserving weak pullbacks. We select finitary set functors because they are quotients of polynomial functors: the polynomial functor provides a ready-made signature and the quotient provides necessary additional axioms. We also show that certain operations on functors can be expressed with uniform