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’ve wondered for a while whether there is a notion of lax-idempotent 2-adjunction, but for some reason until now I’d never thought to try the obvious route of simply generalizing the conditions defining an idempotent adjunction. Haven’t had time to cross-link it yet.
I have added some cross-links now.
Thanks! I did some more.
1 to 3 of 3