Fibred amalgamation, descent data, and Van Kampen squares in topoi

DOI10.1007/S10485-013-9339-2MaRDI QIDQ2350322zbMATH OpenOpenAlexFDO

Authors Uwe Wolter, Harald König

Publication date 19 June 2015

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-013-9339-2

zbMATH Keywords

amalgamationgraph transformationdescent dataVan Kampen squarefibred semanticsdiagrammatic specification

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Abstract data types; algebraic specification (68Q65) Fibered categories (18D30)

Recommendations

• Being Van Kampen in presheaf topoi is a uniqueness property
• Van Kampen Colimits and Path Uniqueness
• Multi-amalgamation in adhesive categories
• AMALGAMABLE DIAGRAM SHAPES
• Van Kampen colimits as bicolimits in Span

Cites work

• scientific article; zbMATH DE number 4195157 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2062331 (Why is no real title available?)
• scientific article; zbMATH DE number 2168563 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 776168 (Why is no real title available?)
• A diagrammatic logic for object-oriented visual modeling
• A formal approach to the specification and transformation of constraints in MDE
• A formalisation of the copy-modify-merge approach to version control in MDE
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Applications of category theory to the area of algebraic specification in computer science
• Aspects of topoi
• Categorical concepts for parameterized partial specifications
• Facets of descent. I
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• Fundamentals of algebraic graph transformation
• Generalized sketches as a framework for completeness theorems. I-III
• Graph Transformations
• Topoi. The categorial analysis of logic. Rev. ed
• Toposes Are Adhesive
• Van Kampen colimits as bicolimits in Span

Cited in

(4)

• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• Van Kampen Colimits and Path Uniqueness
• Being Van Kampen in presheaf topoi is a uniqueness property
• Multilevel typed graph transformations

This page was built for publication: Fibred amalgamation, descent data, and Van Kampen squares in topoi

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