Cornering Optics

Boisseau, G; Nester, C; Román, M

Boisseau, G (通讯作者),Univ Oxford, Oxford, England.

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023; (380): 97

Abstract

We show that the category of optics in a monoidal category arises naturally from the free cornering of that category. Further, we show that the free c......

Full Text Link