Being Van Kampen in presheaf topoi is a uniqueness property

DOI10.4230/LIPICS.CALCO.2017.16zbMATH1433.68098MaRDI QIDQ4580212FDOQ4580212

Authors Harald König, Uwe Wolter

Publication date 13 August 2018

zbMATH Keywords

presheaf toposfibred semanticsmapping pathVan Kampen cocone

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Recommendations

• Van Kampen Colimits and Path Uniqueness
• van Kampen theorems for toposes
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• Being Van Kampen is a universal property
• A note on the categorical van Kampen theorem

Cited in

(3)

• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• Van Kampen Colimits and Path Uniqueness
• Being Van Kampen is a universal property

This page was built for publication: Being Van Kampen in presheaf topoi is a uniqueness property

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