jonmsterling.com / reflexive-graph-lenses-paper
this repo has no description
fork atom
reflexive-graph-lenses-paper / nodes /
at main 22 files
abstract.tex
ack.tex
bivariant-midpoint-lenses.tex
body.tex
coherence.tex
conventions.tex
definitional-lenses.tex
fibrations-from-lenses.tex
fibrations.tex
intro.tex
lens-of-fibration.tex
lenses-of-reflexive-graphs.tex
lenses.tex
path-algebra.tex
path-objects.tex
po-closure-properties.tex
polynomials.tex
reflexive-graphs-and-path-objects.tex
rx-gph-constructions.tex
rx-gph-images.tex
rx-gph-po.tex
univalence-summary-fig.tex