{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/325358"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/325358","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"Homotopy Theory of Monoids and Group Completion","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Burke, Nigel"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Johnstone, Peter"],"committee_chairs":[],"committee_members":[],"year":2021,"date_issued":"2021-02","date_published":"2021-02","updated_at":"2026-07-22T22:24:14Z","subjects":["Homotopy theory","Model categories","Monoids","Term rewriting"],"languages":["eng"],"rights":[],"rights_urls":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/2d309ba6-0bb0-41fd-83a8-33bbbc80dc4a/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.72815","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Johnstone, Peter"]},{"key":"dc:contributor.sponsor","label":"Sponsor","values":["Department of Pure Mathematics and Mathematical Statistics Cambridge Commonwealth Trust Natural Sciences and Engineering Research Council of Canada"]},{"key":"dc:creator","label":"Author","values":["Burke, Nigel"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2021-02"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cambridge"]},{"key":"dc:relation.isreferencedby.uri","label":"Dc Relation Isreferencedby URI","values":["https://www.repository.cam.ac.uk/handle/1810/325358"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Doctor of Philosophy (PhD)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Homotopy theory","Model categories","Monoids","Term rewriting"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/2d309ba6-0bb0-41fd-83a8-33bbbc80dc4a/download","https://www.rioxx.net/licenses/all-rights-reserved/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.17863/CAM.72815"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/1f6603cb-e442-491c-8478-f86c4e03f05d/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["2b636fe3626499e8c682827df88756a5","353adac0d1ebdfd65ab16480263c3c87"]},{"key":"dc:title","label":"Title","values":["Homotopy Theory of Monoids and Group Completion"]}]}],"canonical_facts":{"dc:contributor.advisor":["Johnstone, Peter"],"dc:contributor.sponsor":["Department of Pure Mathematics and Mathematical Statistics Cambridge Commonwealth Trust Natural Sciences and Engineering Research Council of Canada"],"dc:creator":["Burke, Nigel"],"dc:date.issued":["2021-02"],"dc:description.abstract":["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."],"dc:format.checksum.md5":["2b636fe3626499e8c682827df88756a5","353adac0d1ebdfd65ab16480263c3c87"],"dc:identifier.doi":["10.17863/CAM.72815"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/1f6603cb-e442-491c-8478-f86c4e03f05d/download"],"dc:language":["eng"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/325358"],"dc:rights":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/2d309ba6-0bb0-41fd-83a8-33bbbc80dc4a/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"dc:subject":["Homotopy theory","Model categories","Monoids","Term rewriting"],"dc:title":["Homotopy Theory of Monoids and Group Completion"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:14Z"}