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

DOI10.1007/S10485-013-9339-2zbMATH Open1394.18001OpenAlexW2012904363MaRDI QIDQ2350322FDOQ2350322

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

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

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)

Cites Work

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

Cited In (4)

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