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.
The entry unit of an adjunction had a big chunk of mixed itex+svg code at the beginning to display an adjunction. On my machine though the output of that code was ill typeset. So I have removed the code and replaced it by plain iTex encoding of an adjunction.
(Just in case anyone deeply cares about the svg that was there. It’s still in the history. If it is preferred by anyone, it needs to be fixed first.)
Added pointer to this Prop. at adjoint functor where this statement is proven.
1 to 6 of 6