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.
So this idea arises from the ’nucleus of an adjunction’. We also have nucleus of a profunctor as the center of an associated adjunction. What, if any, is the connection?
Re. #2:
So this idea arises from the ’nucleus of an adjunction’. We also have nucleus of a profunctor as the center of an associated adjunction. What, if any, is the connection?
I recall Pavlovic and Hughes implying there is a connection, but leave it for future work to explicate. My understanding is that their more recent paper Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell is an instantiation of more abstract theory that makes use of this connection. But it’s a little hard to be certain from the way they present the concepts.
1 to 8 of 8