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.
we are lacking content in the entry topos theory.
I added a one-line Idea and then expanded the list of references.
I have added a nice historical article by Colin McLarty, pointed out to me by Zoran, to the list of references at topos theory.
In the course of this I have synchronized the literature list with that at topos.
1 to 2 of 2