static/misc/RepresentableFunctors/RepresentableFunctors.tex