nLab Tobias Heindel

personal page

Selected writings

On van Kampen colimits:

Pawel Sobocinski, Tobias Heindel, Being Van Kampen is a universal property, Logical Methods in Computer Science, 7 1 (2011) [arXiv:1101.4594, doi:10.2168/LMCS-7(1:14)2011]

Related entries

strict initial object

category: people

Created on February 2, 2023 at 18:31:36. See the history of this page for a list of all contributions to it.