Identification of certain structures as split opfibrations over ^op

DOI10.1016/S0022-4049(96)00027-8MaRDI QIDQ1361200zbMATH OpenFDO

Authors Paul G. Glenn

Publication date 9 November 1997

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0022-4049(96)00027-8

zbMATH Keywords

coherent first-order theoryGrothendieck topologysimplicial setsplit opfibration

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories and theories (18C99) Fibered categories (18D30) Grothendieck topologies and Grothendieck topoi (18F10)

Review text

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.

Recommendations

• Internal split opfibrations and cofunctors
• scientific article; zbMATH DE number 5076140
• Homotopies in Grothendieck fibrations
• The enriched Grothendieck construction

Cites work

• Completeness results for intuitionistic and modal logic in a categorical setting
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 3396137 (Why is no real title available?)

Cited in

(1)

• Internal split opfibrations and cofunctors

This page was built for publication: Identification of certain structures as split opfibrations over \(\Delta^{\text{op}}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1361200)