Updated some of the references.
]]>Add a short paragraph summarizing profunctor representations.
Mario Román
]]>Added remark about doubles and Tambara theory, plus TODO stub for profunctor representation.
]]>I’ve added
and put it first, since it’s the only simple account I’ve seen of what optics are about.
]]>Linked actegory.
I didn’t check if the use here is consistent with that page.
see also nForum: actegory.
]]>Added reference:
It looks like polynomial functors provide one path between them. I guess ultimately it’s all about generalising linear algebra.
]]>I wonder if anything links the Tambara modules that people in this area study, arising from
with the Tambara functors of equivariant situations (apart from it being the same mathematician).
]]>Thought I’d begin this stub.
]]>