Identification of certain structures as split opfibrations over Δop Original Research Article

The purpose of this paper is to show how certain interesting structures, models of coherent first-order theories on the one hand and Grothendieck topologies on the other, may be viewed as split opfibrations. In the course of doing so, two general classes of split opfibrations will be defined of which models and topologies comprise two special examples.