Van Kampen Colimits and Path Uniqueness

DOI10.23638/LMCS-14(2:5)2018zbMath1404.18005arXiv1710.09784MaRDI QIDQ4643957

Harald König, U. E. Wolter

Publication date: 30 May 2018

Full work available at URL: https://arxiv.org/abs/1710.09784

zbMATH Keywords

presheaf toposfibred semanticsVan Kampen colimit

Mathematics Subject Classification ID

Special categories (18B99) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Collagories: relation-algebraic reasoning for gluing constructions
• Foundations of algebraic specification and formal software development.
• Topoi. The categorial analysis of logic. Rev. ed
• Sheaves in geometry and logic: a first introduction to topos theory
• Facets of descent. I
• Applications of category theory to the area of algebraic specification in computer science
• van Kampen theorems for toposes
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• Fundamentals of algebraic graph transformation
• A Diagrammatic Logic for Object-Oriented Visual Modeling
• Van Kampen Colimits as Bicolimits in Span
• Categories of Coalgebras with Monadic Homomorphisms
• Categories for Software Engineering
• Van Kampen Squares for Graph Transformation
• Toposes Are Adhesive
• Foundations of Software Science and Computation Structures
• Higher Topos Theory (AM-170)

This page was built for publication: Van Kampen Colimits and Path Uniqueness