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

DOI10.1016/S0022-4049(96)00027-8zbMath0878.18006MaRDI QIDQ1361200

Paul G. Glenn

Publication date: 9 November 1997

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

zbMATH Keywords

simplicial setGrothendieck topologycoherent first-order theorysplit opfibration

Mathematics Subject Classification ID

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

Cites Work

• Completeness results for intuitionistic and modal logic in a categorical setting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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