A wide variety of bidirectional data accessors, ranging from mixed optics to functor lenses, can be formalized within a unique framework-dependent optics. Starting two indexed categories, which encode what maps are allowed in the forward and backward directions, we define category dependent establish under assumptions it has coproducts. Different choices categories correspond different families...
