Generalized Lens Categories via functors C^ op→Cat

08/06/2019
by   David I. Spivak, et al.
0

Lenses have a rich history and have recently received a great deal of attention from applied category theorists. We generalize the notion of lens by defining a category Lens_F for any category C and functor F: C^ op→Cat, using a variant of the Grothendieck construction. All of the mathematics in this note is straightforward; the purpose is simply to see lenses in a broader context where some closely-related examples, such as ringed spaces and open continuous dynamical systems, can be included.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/06/2022

Univalent Monoidal Categories

Univalent categories constitute a well-behaved and useful notion of cate...
research
03/02/2021

Internal Category with Families in Presheaves

In this note, we review a construction of category with families (CwF) i...
research
10/13/2021

Lifting couplings in Wasserstein spaces

This paper makes mathematically precise the idea that conditional probab...
research
05/19/2022

A Note on Categories about Rough Sets

Using the concepts of category and functor, we provide some insights and...
research
08/03/2021

Taking Cognition Seriously: A generalised physics of cognition

The study of complex systems through the lens of category theory consist...
research
03/01/2021

Learners' languages

In "Backprop as functor", the authors show that the fundamental elements...
research
03/26/2021

Toward a deeper understanding of a basic cascade

Towards the end of the last century, B. Mandelbrot saw the importance, r...

Please sign up or login with your details

Forgot password? Click here to reset