nLab Paweł Sobociński

• webpage

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]

On Functorial Semantics of Algebraic Theories generalized to relational theories:

• Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski, Functorial Semantics for Relational Theories, (arXiv:1711.08699)

On toposes as adhesive categories:

• Stephen Lack, Pawel Sobocínski, Lemma 18 in: Toposes are adhesive, in: Graph Transformations ICGT 2006, Lecture Notes in Computer Science 4178, Springer (2006) 184-198 [doi:10.1007/11841883_14, pdf]

Generalizing Lawvere theories to partial algebraic theories:

• Ivan Di Liberti, Fosco Loregian, Pawel Sobocinski, Chad Nester: Functorial semantics for partial theories [arXiv:2011.06644]

Related pages

• strict initial object

category: people