X-Nico

unusual facts about categorical model theory