下载PDF摘要：双向数据存取器，如镜头、棱镜和导线都是相同光学结构的实例。我们给出了这一结构的详细说明，并证明了它从对称么半群范畴扩展到函子本身。我们还证明了该结构具有一个普适性：它可以自由地将可数态射加到对称么半范畴中。民间传说中缺少对合法性的一般定义，它直接适用于任何光学类别。我们给出了这样的定义，并证明了它等价于民俗中的视爪。