Chapters Comparative Epistemology and Sheafification Synthetic Philosophy of Contemporary Mathematics