TY - RPRT TI - Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf{Cat}$ AU - David I. Spivak PY - 2022 UR - https://arxiv.org/abs/1908.02202 ID - 1908.02202 ER -