Welcome to the section "From toposes to 'bridges' and unification"!
Welcome to the section of the Around toposes Forum specifically devoted to discussions on the role of toposes as unifying 'bridges' across different mathematical theories. Feel free to ask questions on any aspect of these general methodologies.
Please note that the forum (as well as the blog) has a built-in latex editor for writing mathematical formulas; just write
for each latex expression you need to insert, and it will be automatically displayed (you can check the result by clicking on the Preview button).
We look forward to hearing from you!