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.
1 to 3 of 3
I created generalized uniform structures - table in the style of all of those tables that Urs makes and included it on most of the relevant pages. (I left the pages on the simplest concepts, the binary relations.)
I hope that the headers “monad on an object” and “monad on a pro-object” are accurate. These should be objects in an equipment, I think. Perhaps Mike can help me figure out what equipments are relevant here.
It's a bit annoying that “pro” has two meanings here: one for something analogous to a profunctor, and one for something that's a formal projective limit.
It looks like the relevant equipments are all explained in the reference at prometric space, which I'm working through now. (In particular, I want to see if I can make it constructive.)
1 to 3 of 3