Traversables

Last updated Feb 3, 2024

#index

• Putting an end to parameters I
• Putting an end to parameters II
• Putting an end to parameters III
• Putting an end to parameters IV
• End-preserving functors
• Parameterised monads
• Iteration
• The idea of shape-contents
• Parameterised comonads
• Shape and contents comonad
• Coalgebras of shape and contents