Post #3023682

@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.