Example [efr-0027]

In the theory of discrete dynamical systems:

1. The category of lenses \int \mathcal {A}(-)^\mathrm {op} is equivalently the category of polynomial functors and natural transformations between them.
2. Using this equivalence, the category of dynamical systems with interface p is exactly the category of p-coalgebras and homomorphisms