Van Kampen Colimits as Bicolimits in Span

DOI10.1007/978-3-642-03741-2_23zbMath1239.18003OpenAlexW1647909232MaRDI QIDQ2888497

Tobias Heindel, Paweł Sobociński

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/19291696/Heindel_Sobocinski_2009_Van_Kampen_colimits_as_bicolimits_in_Spain.pdf

Mathematics Subject Classification ID

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

Related Items (8)

Unfolding Grammars in Adhesive Categories ⋮ Enriched and internal categories: an extensive relationship ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ A lattice-theoretical perspective on adhesive categories ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Collagories: relation-algebraic reasoning for gluing constructions ⋮ Van Kampen Colimits and Path Uniqueness ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bicategories of processes
• Categories of partial maps
• Introduction to extensive and distributive categories
• Facets of descent. I
• Van Kampen theorems for categories of covering morphisms in lextensive categories
• On colimits in categories of relations
• Unfolding Grammars in Adhesive Categories
• Toposes Are Adhesive
• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• Elementary observations on 2-categorical limits
• Categories and Computer Science
• Introduction to bicategories
• Graph Transformations
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computation Structures
• Adhesive and quasiadhesive categories
• Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations

This page was built for publication: Van Kampen Colimits as Bicolimits in Span