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.
It would help if people could write these out with proper sentences, and include links. Does it save that much time to use this telegraphic style?
What is a logos?
According to logos (which is a word with different meanings), Mathieu probably means a topos but with morphisms considered in the opposite direction from geometric morphisms (so logos morphisms could be considered to be left exact left adjoints).
1 to 6 of 6