Output details
11 - Computer Science and Informatics
University of Southampton
Return to search
Output 0 of 0 in the submission
Article title
Being Van Kampen is a universal property
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
-
Volume number
7
Issue number
1
First page of article
1
ISSN of journal
1860-5974
Year of publication
2011
Number of additional authors
1
Additional information
Significance of output:
<10>The mathematical concepts of extensive, regular and adhesive categories have been widely used and studied, with hundreds of publications and thousands of citations. In computer science they have found several important applications, for instance in formal semantics, and graph rewriting.
The results in this paper are the first that unify all of the above concepts, as well as other, lesser studied classes: the axioms of extensive categories, adhesive categories and regular categories are shown to be instances of the Van Kampen colimits, that we introduce. Van Kampen colimits satisfy the universal property of bicolimits in the bicategory of spans.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
