Bartosz Milewski presenta en este artículo el concepto de "equipo de Tambara" (Tambara equipment), una estructura categórica que generaliza los equipos de proarrows al ámbito de los actegorías y los módulos de Tambara. Tras recordar su trabajo previo sobre óptica functorial —desarrollado junto a investigadores y estudiantes en la Oxford Adjoint School de 2019 y publicado en un artículo sobre óptica de profunctor—, el autor se apoya en un resultado reciente de Mateusz Stroiński para mostrar que los módulos de Tambara pueden interpretarse como flechas horizontales dentro de una doble categoría equipada como proarrow equipment.
El texto reconstruye paso a paso las piezas necesarias: la definición simplificada de functor monoidal entre actegorías, su composición, la noción de módulo de Tambara como profunctor compatible con la acción monoidal, y la construcción del levantamiento (Lift) de un módulo a lo largo de un par de functores monoidales. A partir de ahí define las 2-celdas como transformaciones naturales hacia ese levantamiento y obtiene los functores compañero (Companion) y adjunto (Conjoint) como casos particulares. Milewski acompaña cada definición formal con su traducción a código Haskell, usando clases de tipo, instancias y tipos existenciales.
El artículo cierra mostrando que los módulos de Tambara libres, construidos mediante un coend sobre la categoría monoidal, recuperan la noción de óptica tras aplicar la reducción de Yoneda sobre un profunctor representable, conectando así la teoría de Tambara con la óptica aplicada en Haskell.