Código QR (código de barras bidimensional)

Being Van Kampen is a universal property

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...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
Principais autores: Pawel Sobocinski, Tobias Heindel
פורמט: Artigo
שפה:Inglês
יצא לאור: Logical Methods in Computer Science e.V. 2011-04-01
סדרה:Logical Methods in Computer Science
נושאים:
גישה מקוונת:https://lmcs.episciences.org/701/pdf
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!