Van Kampen Colimits as Bicolimits in Span
From MaRDI portal
Publication:2888497
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
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
