Possibile errore lift monadi
GiBg1aN opened this issue · 1 comments
GiBg1aN commented
Nella sezione riguardante le monadi forse hai dimenticato una "F", nello specifico, nel punto:
"E' possibile applicare un lifting a f ottenendo F[f]: F[B] -> F[F[C]]. Ora F[f] e g compongono in un morfismo A -> F[[C]] ma qui rimango bloccato."
Immagino che "A->F[[C]]" dovesse essere "A->F[F[C]]"
gcanti commented
Corretto, grazie!