Posts tagged "retrofunctor"

• 多項式コモナドの準同型 ≃ Retrofunctor - 2025-01-18 (Last modified on 2025-02-22)