Tambara Equipment

I was originally attracted to category theory when trying to understand Haskell optics. I was puzzled by the van Laarhoven s functor representations and Kmett s use of Tambara modules. By playing Tetris with the Yoneda lemma I was able to make some progress, attacking more and more esoteric topics. With a group of researcher and students [ ]