@misc{indiciaea9de223fc6f9, title = {Two applications of the point-free coderivative}, author = {Zoltan A. Kocsis}, year = {2026}, url = {https://arxiv.org/abs/2609.29436}, note = {Source identifier: 2609.29436} }