-

Gluing and sheaf theory at categorical logic today.
Neat stuff.