search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
363 stars 68 forks source link

Stub for `Morphism.agda` #317

Closed tetrapharmakon closed 2 years ago

tetrapharmakon commented 2 years ago

Monad morphisms, in two flavours.

JacquesCarette commented 2 years ago

As this is clearly still a work in progress, I've marked it as 'draft'.

tetrapharmakon commented 2 years ago

This module is ready for review, but suggestions on extensions are welcome by me or @iwilare

Cheers!