Wild coproducts in the category of simple lenses

[forest]

---

This is a companion discussion topic for the original entry at https://forest.localcharts.org/efr-0008.xml