aboutsummaryrefslogtreecommitdiff
path: root/Adjoint
AgeCommit message (Expand)Author
8 daysUpdate list adjunction for opaquenessJacques Comeaux
2025-11-13Add adjunction between free monoid and forgetJacques Comeaux