Tambara-Module als Ausrüstung: Eine neue Sicht auf Optiken

Tambara Equipment

In diesem technischen Blogbeitrag untersucht Bartosz Milewski die Verbindung zwischen Tambara-Modulen und Doppelkategorien. Er zeigt, dass Tambara-Module als horizontale Pfeile in einer Doppelkategorie aufgefasst werden können, die zugleich eine Proarrow-Ausrüstung ist. Diese Sichtweise verallgemeinert die Theorie der Optiken und funktioniert direkt für angereicherte Kategorien. Der Beitrag skizziert die zentralen Konzepte aus Mateusz Stroińskis Artikel und illustriert sie mit Haskell-Code, wobei die freie Konstruktion von Tambara-Modulen und ihre Beziehung zu Optiken im Mittelpunkt stehen.