在函数式编程和PLT领域，我已经多次听到“共代数”这个术语，特别是在讨论对象、共数、透镜等的时候。在谷歌上搜索这个术语，就会得到一些关于这些结构的数学描述，这对我来说是很难理解的。谁能解释一下在编程环