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.
There’s also Entropy and Diversity: The Axiomatic Approach by Tom Leinster published in April 2021
An informal introduction to topos theory, Publications of the nLab vol. 1 no. 1 (2011).
At https://ncatlab.org/publications/published/Leinster2011 , but as of 2022 the live version is not entirely readable: the diagrams and some other typesetting are broken.
A readable version can be found in the Internet Archive.
1 to 4 of 4