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)

zbMATH Keywords

simplicial setGrothendieck topologycoherent first-order theorysplit opfibration

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• 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?)
• Completeness results for intuitionistic and modal logic in a categorical setting

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)