{"id":"arxiv/2607.25706","url":"https://arxiv.org/abs/2607.25706","tags":["math.CT"],"score":0,"title":"Categories of tagged lenses","domain":"math.CT","source":"arxiv","authors":["Matt Wilson"],"reviews":0,"subject":"math.CT","summary":"To better understand the landscape of well-behavedness laws for lenses on strict Cartesian symmetric monoidal categories, we define tagged lenses. We prove that tagged lenses form a strict symmetric monoidal category equipped with a strict symmetric monoidal functor into the category of putget lenses. We then observe compositional entailment for the other two lens laws, identifying change-dependence and first-last dependence of tags as sufficient conditions for getput and putput, respectively.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}