Topoi, the Categorial Analysis of Logic