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.
created fixed point of an adjunction, just minimally so that it is possible to link to it.
It seems strange that we wouldn’t have already an nLab entry on this, but after checking it seems to me that we didn’t.(?)
Needs to be expanded…
At nucleus of a profunctor we have
The nucleus of F is the center of this adjunction.
Presumably that ’center’ is the fixed point.
Don’t people really talk of the fixed subcategories of the adjunction?
A quick poll today among an unrepresentive number of people who should know favored “fixed point”. But I am happy with any way to call this. Who says “center”?
Simon Willerton apparently
What we will actually be interested in the nucleus, which is the centre, or invariant part, of this adjunction.
I interlinked fixed point of an adjunction and idempotent adjunction.
1 to 9 of 9