"All men are mortal"

[timelets]

It's amazing how the concept of the terminal object makes the structure of syllogisms transparent.

Comments

[juan_gandhi]

See, there's a 1-1 correspondence between toposes and intuitionistic logics.

[timelets]

I'm still coming to terms with this discovery :)

[juan_gandhi]

May take time.
There's more. Like Universal Model.

[timelets]

I'm sure it will. I need to digest Terminal Objects, etc.