Simple adjunctions
Why do you think that https://github.com/GaloisInc/parameterized-utils is a good alternative to adjunctions
Simple adjunctions
Why do you think that https://github.com/GaloisInc/parameterized-utils is a good alternative to adjunctions