agda-categories icon indicating copy to clipboard operation
agda-categories copied to clipboard

Published 20 hours ago • verified publisher icon agda

F-Coalgebras forma category

Open Taneb opened this issue 3 years ago • 0 comments

More or less copied from the F-Algebras category. I wanted this while I was messing around with recursion schemes a while back.

Taneb avatar Oct 05 '22 06:10 Taneb