Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am writing an exposition (or a dictionary) integral transforms on sheaves.
Check it out. I will have to go offline soon. Maybe somebody feels like further polishing/expanding this up a bit. Then later I want to supply that for the current Café discussion.
Correct me if wrong. At the end of section 2, “Linear bases”, it is said that morphisms of Pr(infinity, 1)Cat are equivalently profunctors, but it seems that saying (infinity, 1)-profunctors is better instead, now that we have that page. Ok to change it?
Yes! Thanks.
Done.
1 to 4 of 4