Нужно же иногда и отдохнуть.

Я лямбды преподаю, так что впечаталось в конце концов.
А топосы - это практически с детства. Ну чо там, топология Гротендика - идемпотентна, замкнута по конъюнкции, содержит истину. Ну и т.д.