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 amazing right adjoint
noticed that amazing right adjoint and local topos didn’t talk to each other (they almost did, both relating themselves to atomic object). I have added one-sentence remark to each pointing out that the “amazing” right adjoint to the internal hom out of the small object is analogous to the “local” right adjoint to the external hom out of the terminal object.
Added one more reference to amazing right adjoint, within a paragraph pointing out a definition given by Yetter (which is more or less identical with the one at the beginning of the page, but does not assume the category to be a topos), and linking to tiny object.
1 to 4 of 4