Azimuth Forum
Visit Site
So then, do profunctors/ hets/modules satisfy an analogous composition law to hom-functors?
\\[
\text{Het}(f,g) \circ \text{Het}(j,k) \to \text{Het}(f \circ j, k \circ g)
\\]
Version 2.1.8p2