ekmett/multicategories
Playing around with multicategories and operads
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Playing around with multicategories and operads
lazy continued fractions
Type-aligned Deques in Haskell
(Co)update (co)monads and right monoid actions