首页    期刊浏览 2024年09月19日 星期四
登录注册

文章基本信息

  • 标题:Being Van Kampen is a Universal Property
  • 本地全文:下载
  • 作者:Pawel Sobocinski ; Tobias Heindel
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2011
  • 卷号:7
  • 期号:01
  • 出版社:Technical University of Braunschweig
  • 摘要:

    Colimits that satisfy the Van Kampen condition have interesting exactness properties. We show that the elementary presentation of the Van Kampen condition is actually a characterisation of a universal property in the associated bicategory of spans. The main theorem states that Van Kampen cocones are precisely those diagrams in a category that induce bicolimit diagrams in its associated bicategory of spans, provided that the category has pullbacks and enough colimits.

  • 关键词:Property;Diagrams;Elementary;Presentation;Characterisation;Theorem
国家哲学社会科学文献中心版权所有