Mario Román

Home

❯

notes

❯

pieces

❯

Traversables

Traversables

Apr 29, 20251 min read

  • index

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

Graph View

Backlinks

  • Shape and contents comonad
  • The idea of shape-contents
  • optics

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID