Motivation for a Definition of a Topos

We motivate the definition of a topos as a finitely complete category with power objects.

[airbus]

Wonderful summary, would love to see more videos like this.

[trevise]

i have no clue what 90 percent of this means but your voice is nice to listen to

[alexgil]

Felicitaciones, buen trabajo y de alto valor social...

[alancalvitti]

slick summary - what software and/or tablet do you use and are you writing in real time or speeding up in post?

[malachiallen]

Hello I am a big fan of the summary. Where did you first learn about toposes and what motivated you to continue learning?

[srr]

question, about the global element. Given x, y, z elements of the set X. What is the morphism which would represent the elements y and z? Sure I can formally have the terminal element for y (call it yT) and the terminal element for z (zT) and then the morphism will be form yT or zT into X (still in X, not Y or Z since there are no Y, Z in the first place). Since all the terminal elements are isomorphic to 1 (right? or at least they are in the category Set), then how can X name y or z as you said it names x at 1:14 ? Thanks, I'm totally new to this.