2026-09-23T01:21:25Zhttps://api.repository.cam.ac.uk/server/oai/request

oai:www.repository.cam.ac.uk:1810/3253582023-12-22T13:23:06Zcom_1810_213747com_1810_256064col_1810_213748

Homotopy Theory of Monoids and Group Completion 10.17863/CAM.72815 Burke, Nigel Johnstone, Peter This thesis presents several complete and partial models for the homotopy theory of monoids and the derived functor of group completion. We show that there is a simplicial model structure on the category of reduced simplicial sets that is Quillen equivalent to the Quillen model structure of simplicial monoids. Using this Quillen equivalence we recover the fact that the derived functor of group completion is isomorphic to the homotopy type of loops on the classifying space of a monoid. We use the Street nerve to show that the derived functor of group completion of monoids in the category of ω-groupoids for the Gray tensor product is isomorphic to group completion for simplicial monoids in low degrees. Finally we exploit the connection of ω-groupoids with the theory of rewriting for presentations of monoids to calculate the second homotopy group of the classifying space BM of a monoid M in terms of a chosen presentation by generators and relations. University of Cambridge 2021-02 Thesis Doctoral Doctor of Philosophy (PhD) eng Department of Pure Mathematics and Mathematical Statistics Cambridge Commonwealth Trust Natural Sciences and Engineering Research Council of Canada https://www.repository.cam.ac.uk/handle/1810/325358 https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/1f6603cb-e442-491c-8478-f86c4e03f05d/download 2b636fe3626499e8c682827df88756a5 https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/2d309ba6-0bb0-41fd-83a8-33bbbc80dc4a/download 353adac0d1ebdfd65ab16480263c3c87 https://www.rioxx.net/licenses/all-rights-reserved/ Homotopy theory Model categories Monoids Term rewriting