Welcome to the section "From categories to toposes" of the Around toposes Forum!

This section is mainly targeted to those who are familiar with the language of category theory and are interested in learning about toposes as a means to significantly enrich and deepen the categorical outlook on mathematics. 

Please note that the forum has built-in latex editors for writing mathematical formulas; if you write

for each latex expression you need to insert, it will be automatically displayed inside a blank box (you can check the result by clicking on the Preview button).

You can also, for a better graphical result, just type as if you were writing a normal latex text, but beware that in that case the Preview button will not show the compiled result (still, you will be able to edit your message for 60 minutes after your original submission, in particular to correct any typos or rendering mistakes). Here is an example:

$\textup{Hom}_{[{\cal C}^{\textup{op}}, \textbf{Set}]}(y_{{\cal C}}(c),F)≅F(c).$

We look forward to hearing from you!