{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/245136"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/245136","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"Morita cohomology","abstract":"This work constructs and compares different kinds of categorified cohomology of a locally contractible topological space X. Fix a commutative ring k of characteristic 0 and also denote by k the differential graded category with a single object and endomorphisms k. In the Morita model structure k is weakly equivalent to the category of perfect chain complexes over k. We define and compute derived global sections of the constant presheaf k considered as a presheaf of dg-categories with the Morita model structure. If k is a field this is done by showing there exists a suitable local model structure on presheaves of dg-categories and explicitly sheafifying constant presheaves. We call this categorified Cech cohomology ˇ Morita cohomology and show that it can be computed as a homotopy limit over a good (hyper)cover of the space X. We then prove a strictification result for dg-categories and deduce that under mild assumptions on X Morita cohomology is equivalent to the category of homotopy locally constant sheaves of k-complexes on X. We also show categorified Cech cohomology is equivalent to a category ˇ of ∞-local systems, which can be interpreted as categorified singular cohomology. We define this category in terms of the cotensor action of simplicial sets on the category of dg-categories. We then show ∞-local systems are equivalent to the category of dg-representations of chains on the loop space of X and find an explicit method of computation if X is a CW complex. We conclude with a number of examples.","abstract_html":"This work constructs and compares different kinds of categorified cohomology of a locally contractible topological space X. Fix a commutative ring k of characteristic 0 and also denote by k the differential graded category with a single object and endomorphisms k. In the Morita model structure k is weakly equivalent to the category of perfect chain complexes over k. We define and compute derived global sections of the constant presheaf k considered as a presheaf of dg-categories with the Morita model structure. If k is a field this is done by showing there exists a suitable local model structure on presheaves of dg-categories and explicitly sheafifying constant presheaves. We call this categorified Cech cohomology ˇ Morita cohomology and show that it can be computed as a homotopy limit over a good (hyper)cover of the space X. We then prove a strictification result for dg-categories and deduce that under mild assumptions on X Morita cohomology is equivalent to the category of homotopy locally constant sheaves of k-complexes on X. We also show categorified Cech cohomology is equivalent to a category ˇ of ∞-local systems, which can be interpreted as categorified singular cohomology. We define this category in terms of the cotensor action of simplicial sets on the category of dg-categories. We then show ∞-local systems are equivalent to the category of dg-representations of chains on the loop space of X and find an explicit method of computation if X is a CW complex. We conclude with a number of examples.","abstract_has_math":false,"creators":["Holstein, JVS"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":null,"date_issued":"","date_published":null,"updated_at":"2026-07-22T22:24:10Z","subjects":["4902 Mathematical Physics","4904 Pure Mathematics","49 Mathematical Sciences"],"languages":["eng"],"rights":[],"rights_urls":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/d562caf1-d64e-4620-9b21-3b825c3cdbaf/download","http://creativecommons.org/licenses/by-nc-nd/2.0/uk/"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.16230","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Holstein, JVS"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"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/245136"]},{"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":["4902 Mathematical Physics","4904 Pure Mathematics","49 Mathematical Sciences"]}]},{"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/d562caf1-d64e-4620-9b21-3b825c3cdbaf/download","http://creativecommons.org/licenses/by-nc-nd/2.0/uk/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.17863/CAM.16230"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/38e69cc9-eb4d-435a-b49b-5a09764ceda5/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This work constructs and compares different kinds of categorified cohomology of a locally contractible topological space X. Fix a commutative ring k of characteristic 0 and also denote by k the differential graded category with a single object and endomorphisms k. In the Morita model structure k is weakly equivalent to the category of perfect chain complexes over k. We define and compute derived global sections of the constant presheaf k considered as a presheaf of dg-categories with the Morita model structure. If k is a field this is done by showing there exists a suitable local model structure on presheaves of dg-categories and explicitly sheafifying constant presheaves. We call this categorified Cech cohomology ˇ Morita cohomology and show that it can be computed as a homotopy limit over a good (hyper)cover of the space X. We then prove a strictification result for dg-categories and deduce that under mild assumptions on X Morita cohomology is equivalent to the category of homotopy locally constant sheaves of k-complexes on X. We also show categorified Cech cohomology is equivalent to a category ˇ of ∞-local systems, which can be interpreted as categorified singular cohomology. We define this category in terms of the cotensor action of simplicial sets on the category of dg-categories. We then show ∞-local systems are equivalent to the category of dg-representations of chains on the loop space of X and find an explicit method of computation if X is a CW complex. We conclude with a number of examples."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["71758d7e7a5c6b8c2a635da11555c941","835269bda140c10400fe0606a14c3d21"]},{"key":"dc:title","label":"Title","values":["Morita cohomology"]}]}],"canonical_facts":{"dc:creator":["Holstein, JVS"],"dc:description.abstract":["This work constructs and compares different kinds of categorified cohomology of a locally contractible topological space X. Fix a commutative ring k of characteristic 0 and also denote by k the differential graded category with a single object and endomorphisms k. In the Morita model structure k is weakly equivalent to the category of perfect chain complexes over k. We define and compute derived global sections of the constant presheaf k considered as a presheaf of dg-categories with the Morita model structure. If k is a field this is done by showing there exists a suitable local model structure on presheaves of dg-categories and explicitly sheafifying constant presheaves. We call this categorified Cech cohomology ˇ Morita cohomology and show that it can be computed as a homotopy limit over a good (hyper)cover of the space X. We then prove a strictification result for dg-categories and deduce that under mild assumptions on X Morita cohomology is equivalent to the category of homotopy locally constant sheaves of k-complexes on X. We also show categorified Cech cohomology is equivalent to a category ˇ of ∞-local systems, which can be interpreted as categorified singular cohomology. We define this category in terms of the cotensor action of simplicial sets on the category of dg-categories. We then show ∞-local systems are equivalent to the category of dg-representations of chains on the loop space of X and find an explicit method of computation if X is a CW complex. We conclude with a number of examples."],"dc:format.checksum.md5":["71758d7e7a5c6b8c2a635da11555c941","835269bda140c10400fe0606a14c3d21"],"dc:identifier.doi":["10.17863/CAM.16230"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/38e69cc9-eb4d-435a-b49b-5a09764ceda5/download"],"dc:language":["eng"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/245136"],"dc:rights":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/d562caf1-d64e-4620-9b21-3b825c3cdbaf/download","http://creativecommons.org/licenses/by-nc-nd/2.0/uk/"],"dc:subject":["4902 Mathematical Physics","4904 Pure Mathematics","49 Mathematical Sciences"],"dc:title":["Morita cohomology"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:10Z"}