Terminal and initial objects 1

A first look at universal properties: definition of terminal object and some examples, sketch of proof that terminal objects are unique up to unique isomorphism

Category:

Howto & Style

Tags:

• category
• terminal
• object
• universal
• property

[JohnnyCheagoon]

All the Catsters' videos I've already watched are great indeed. Can someone tell me what's said in this one, at 8:12 though, after "we do what John Wells (?) sometimes call", and the sentence before "you have competition between them". Thanks a lot.

[TheCatsters]

"We do what John Baez sometimes calls the gunslinging contest"! If you have two people who both claim they're the fastest gunslinger, you have a competition between them...

[crispthedm]

What an excellent video. I think I'll watch all of these!

[JohnnyCheagoon]

Thanks! Hopefully, my English listening skills have improved since last time I probably thought of "John Wells" as a mix of John Baez and Charles Wells.

[navyman4]

If she would just pull that pencil out of her hair, and let it flow, I'd fall in love! :) LOL. Thanks for the vids.

[tantrayantra]

Haha I like the speed proof at the end

[bricolage54]

Thank you so much for these lectures! This is a tremendous help to me getting started on my own in category theory - Go Catsters!