Being Van Kampen is a universal property

DOI10.2168/LMCS-7(1:14)2011zbMath1237.18003arXiv1101.4594OpenAlexW2106528441MaRDI QIDQ3003317

Tobias Heindel, Paweł Sobociński

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

extensive categoriesbicategoriesadhesive categoriesbicolimitsspan bicategoriesVan-Kampen colimits

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categorical semantics of formal languages (18C50) Definitions and generalizations in theory of categories (18A05)

Related Items

Deduction as reduction, from a categorical point of view