Andrea Laretto

icon indicating a website link iwilare.com icon indicating an email [email protected]

icon company Tallinn University of Technology icon location Tallinn, Estonia icon location λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？

Results 1 comments of Andrea Laretto

Create Adjunctions.agda

We think we laid down all relevant equalities and constraints required to complete the proofs in `Adjunctions.Properties`. The remaining proof for `homomorphism` certainly looks like a hard journey to complete;...