"All men are mortal"

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

Making money off the trampovata

http://www.bbc.com/news/av/world-us-canada-40472222/meet-wrestling-s-anti-trump-villain-the-progressive-liberal

(no subject)

I wonder whether the subobject classifier approach can be used to detect new developments in technology. For example, expressions like _horseless carriage_, _smarphone with no keyboard_, _driverless car_, _artificial intelligence_ indicate that the object in question doesn't belong to a boolean topos ( or is it a slice topos?).

TIL: final objects

Speaking categorically of Zarathustra, he invented one of the most generic subobject classifiers - Good vs Bad.

The Greeks invented another one: mortal vs immortal.

Galileo Galilei postulated that mechanical systems with speed=0 (first derivative) as the final object are equivalent to systems with acceleration=0 (second derivative) as the final object.

Sir Isaac Newton postulated that gravitation has a final object - g (third derivative = 0).

etc. etc.