Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\) (Q1361200)

The author' s purpose 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. \(\ldots\) The two general classes of split opfibrations are related and arise as follows. Let \(P:{\mathcal D}\rightarrow {\mathcal C}\) and \(K:{\mathcal D}\rightarrow {\mathcal M}^{op}\) be functors where \(K\) is a split opfibration.' ' \ Note, \(P\) may be contravariant. Two very similar constructions yield, from certain contravariant \(P\)' s, Grothendieck topologies on \({\mathcal M}\), but from certain covariant \(P\)' s, models of coherent first-order theories.