On a fibrational construction for optics, lenses, and Dialectica categories HH4ADHZ8XD

URI	`m2://res/HH4ADHZ8XD`
Kind	preprint
Creators	Matteo Capucci, Bruno Gavranović, Abdullah Malik, Francisco Rios, Jonathan Weinberger
Date	2024-03-25
MSC	18-XX, 94-XX
Subjects	arxiv math.CT, arxiv cs.IT, arxiv cs.LO, arxiv math.IT
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
1BK3QY92K1	example	example 2.5	arxiv
2GT15XEYKE	definition	definition 1	arxiv
461KNDQWQB	definition	definition 4.3	arxiv
68Y6TCAY3G	definition	definition	arxiv
6DGS3JA1AC	definition	definition 2.3	arxiv
6T12K0BNH1	definition	definition 2.6	arxiv
779YKY59F5	definition	definition 4.2	arxiv
86M4E9RMZM	statement	proposition 2.7	arxiv
8WG7EJ5B33	definition	definition 3.2	arxiv
EZHKZNF08D	example	example 4.6	arxiv
G3G3WK05TJ	definition	definition 4.7	arxiv
HHDM3JB709	statement	proposition 2.4	arxiv
KD6AC88TTQ	example	example 4.8	arxiv
KT5GRV30R2	definition	definition 3.1	arxiv
NK573733T6	definition	definition 2.2	arxiv
TD24425PAR	definition	definition 3.4	arxiv
WF4XWZX8S5	example	example 4.5	arxiv
WMJRDERZX3	definition	definition 3.3	arxiv
Z65XH70GKK	example	example 4.4	arxiv
ZN72431AXA	definition	definition 2.1	arxiv