Post #3023681
2026-04-27 18:58 UTC
@BartoszMilewski@mathstodon.xyz Oof, that's dense! But I think it is something totally different. My idea is to have an expression of optics that works in any proarrow equipment.
Replies (1)
-
@BartoszMilewski@mathstodon.xyz 2026-04-28 05:27
@sjoerd_visscher@types.pl My experience was that any optics I could put my hands on has a Tambara representation and that this is related to Tannakian reconstruction. So I'm looking for a grand unified theory of optics, and double categories look promising in this respect. At the very least they unify regular optics with enriched optics.