scientific article; zbMATH DE number 6917177

DOI10.4230/LIPIcs.CALCO.2017.16zbMath1433.68098MaRDI QIDQ4580212

Harald König, U. E. Wolter

Publication date: 13 August 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

presheaf toposfibred semanticsmapping pathVan Kampen cocone

Mathematics Subject Classification ID

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

Related Items (1)

Van Kampen Colimits and Path Uniqueness

This page was built for publication: