Being Van Kampen in presheaf topoi is a uniqueness property

DOI10.4230/LIPICS.CALCO.2017.16zbMATH Open1433.68098MaRDI QIDQ4580212FDOQ4580212

Authors: Harald König, Uwe Wolter 

Publication date: 13 August 2018

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

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)

Cited In (3)

• Van Kampen Colimits and Path Uniqueness
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• 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)