4 results
Core data structures and operations
Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
Generalized support for list-like structures
Assorted concrete container types