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

Fuld beskrivelse

Na minha lista:
Bibliografiske detaljer
Principais autores: Pawel Sobocinski, Tobias Heindel
Format: Artigo
Sprog:Inglês
Udgivet: Logical Methods in Computer Science e.V. 2011-04-01
Serier:Logical Methods in Computer Science
Fag:
Online adgang:https://lmcs.episciences.org/701/pdf
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!