Daily Archives: October 18, 2017

Olivia Caramello #UnificationOfMathematics Introduction to categorical Logic, classifying toposes and the bridge technique