{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/219201"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/219201","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"Autonomous Pseudomonoids","abstract":"In this dissertation we generalise the basic theory of Hopf algebras to the context of autonomous pseudomonoids in monoidal bicategories. Autonomous pseudomonoids were introduced in [13] as generalisations of both autonomous monoidal categories and Hopf algebras. Much of the theory of autonomous pseudomonoids developed in [13] was inspired by the example of autonomous (pro)monoidal enriched categories. The present thesis aims to further develop the theory with results inspired by Hopf algebra theory instead. We study three important results in Hopf algebra theory: the so-called \"fundamental theorem of Hopf modules\", the \"Drinfel'd quantum double\" and its relation with the centre of monoidal categories, and \" Radford's formula\". The basic result of this work is a general fundamental theorem of Hopf modules that establishes conditions equivalent to the existence of a left dualization. With this result as a base, we are able to construct the centre (defined in [83]) and the lax centre of an autonomous pseudomonoid as an Eilenberg-Moore construction for certain monad. As an application we show that the Drinfel'd double of a finite-dimensional Hopf algebra is equivalent to the centre of the associated pseudomonoid. The next piece of theory we develop is a general Radford's formula for autonomous map pseudomonoids formula in the case of a (coquasi) Hopf algebra. We also introduce \"unimodular\" autonomous pseudomonoids. In the last part of the dissertation we apply the general theory to enriched categories with a (chosen) class of (co)limits, with emphasis in the case of finite (co)limits. We construct tensor products of such categories by means of pseudo-commutative enriched monads (a slight generalisation of the pseudo-commutative 2-monads of [37], and showing that lax-idempotent 2-monads are pseudo-commutative. Finally we apply the general theory developed for pseudomonoids to deduce the main results of [27].","abstract_html":"In this dissertation we generalise the basic theory of Hopf algebras to the context of autonomous pseudomonoids in monoidal bicategories. Autonomous pseudomonoids were introduced in [13] as generalisations of both autonomous monoidal categories and Hopf algebras. Much of the theory of autonomous pseudomonoids developed in [13] was inspired by the example of autonomous (pro)monoidal enriched categories. The present thesis aims to further develop the theory with results inspired by Hopf algebra theory instead. We study three important results in Hopf algebra theory: the so-called "fundamental theorem of Hopf modules", the "Drinfel'd quantum double" and its relation with the centre of monoidal categories, and " Radford's formula". The basic result of this work is a general fundamental theorem of Hopf modules that establishes conditions equivalent to the existence of a left dualization. With this result as a base, we are able to construct the centre (defined in [83]) and the lax centre of an autonomous pseudomonoid as an Eilenberg-Moore construction for certain monad. As an application we show that the Drinfel'd double of a finite-dimensional Hopf algebra is equivalent to the centre of the associated pseudomonoid. The next piece of theory we develop is a general Radford's formula for autonomous map pseudomonoids formula in the case of a (coquasi) Hopf algebra. We also introduce "unimodular" autonomous pseudomonoids. In the last part of the dissertation we apply the general theory to enriched categories with a (chosen) class of (co)limits, with emphasis in the case of finite (co)limits. We construct tensor products of such categories by means of pseudo-commutative enriched monads (a slight generalisation of the pseudo-commutative 2-monads of [37], and showing that lax-idempotent 2-monads are pseudo-commutative. Finally we apply the general theory developed for pseudomonoids to deduce the main results of [27].","abstract_has_math":false,"creators":["Lopez Franco, Ignacio"],"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":2009,"date_issued":"2009-04-25","date_published":"2009-04-25","updated_at":"2026-07-22T22:24:20Z","subjects":["monoidal bicategories","Hopf algabra","duals","monoidal category","centre construction","quantum double","fusion category"],"languages":["en"],"rights":["2009"],"rights_urls":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/92a7e462-c286-4afd-a87e-49f35d7186ca/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.16203","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.sponsor","label":"Sponsor","values":["This work was supported by an Internal Graduate Studentship, Trinity College, Cambridge."]},{"key":"dc:creator","label":"Author","values":["Lopez Franco, Ignacio"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2009-04-25"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cambridge"]},{"key":"dc:relation.isreferencedby.uri","label":"Dc Relation Isreferencedby URI","values":["http://www.dspace.cam.ac.uk/handle/1810/219201","https://www.repository.cam.ac.uk/handle/1810/219201"]},{"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":["monoidal bicategories","Hopf algabra","duals","monoidal category","centre construction","quantum double","fusion category"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/92a7e462-c286-4afd-a87e-49f35d7186ca/download","https://www.rioxx.net/licenses/all-rights-reserved/","2009"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.17863/CAM.16203"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/8b53493a-8d1d-4d1a-a63d-55eb1735609e/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["In this dissertation we generalise the basic theory of Hopf algebras to the context of autonomous pseudomonoids in monoidal bicategories. Autonomous pseudomonoids were introduced in [13] as generalisations of both autonomous monoidal categories and Hopf algebras. Much of the theory of autonomous pseudomonoids developed in [13] was inspired by the example of autonomous (pro)monoidal enriched categories. The present thesis aims to further develop the theory with results inspired by Hopf algebra theory instead. We study three important results in Hopf algebra theory: the so-called \"fundamental theorem of Hopf modules\", the \"Drinfel'd quantum double\" and its relation with the centre of monoidal categories, and \" Radford's formula\". The basic result of this work is a general fundamental theorem of Hopf modules that establishes conditions equivalent to the existence of a left dualization. With this result as a base, we are able to construct the centre (defined in [83]) and the lax centre of an autonomous pseudomonoid as an Eilenberg-Moore construction for certain monad. As an application we show that the Drinfel'd double of a finite-dimensional Hopf algebra is equivalent to the centre of the associated pseudomonoid. The next piece of theory we develop is a general Radford's formula for autonomous map pseudomonoids formula in the case of a (coquasi) Hopf algebra. We also introduce \"unimodular\" autonomous pseudomonoids. In the last part of the dissertation we apply the general theory to enriched categories with a (chosen) class of (co)limits, with emphasis in the case of finite (co)limits. We construct tensor products of such categories by means of pseudo-commutative enriched monads (a slight generalisation of the pseudo-commutative 2-monads of [37], and showing that lax-idempotent 2-monads are pseudo-commutative. Finally we apply the general theory developed for pseudomonoids to deduce the main results of [27]."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["0b160c811bfb6dac2305ceba83d561b3","311ded89ff024e2c13cda6906a4df795"]},{"key":"dc:title","label":"Title","values":["Autonomous Pseudomonoids"]}]}],"canonical_facts":{"dc:contributor.sponsor":["This work was supported by an Internal Graduate Studentship, Trinity College, Cambridge."],"dc:creator":["Lopez Franco, Ignacio"],"dc:date.issued":["2009-04-25"],"dc:description.abstract":["In this dissertation we generalise the basic theory of Hopf algebras to the context of autonomous pseudomonoids in monoidal bicategories. Autonomous pseudomonoids were introduced in [13] as generalisations of both autonomous monoidal categories and Hopf algebras. Much of the theory of autonomous pseudomonoids developed in [13] was inspired by the example of autonomous (pro)monoidal enriched categories. The present thesis aims to further develop the theory with results inspired by Hopf algebra theory instead. We study three important results in Hopf algebra theory: the so-called \"fundamental theorem of Hopf modules\", the \"Drinfel'd quantum double\" and its relation with the centre of monoidal categories, and \" Radford's formula\". The basic result of this work is a general fundamental theorem of Hopf modules that establishes conditions equivalent to the existence of a left dualization. With this result as a base, we are able to construct the centre (defined in [83]) and the lax centre of an autonomous pseudomonoid as an Eilenberg-Moore construction for certain monad. As an application we show that the Drinfel'd double of a finite-dimensional Hopf algebra is equivalent to the centre of the associated pseudomonoid. The next piece of theory we develop is a general Radford's formula for autonomous map pseudomonoids formula in the case of a (coquasi) Hopf algebra. We also introduce \"unimodular\" autonomous pseudomonoids. In the last part of the dissertation we apply the general theory to enriched categories with a (chosen) class of (co)limits, with emphasis in the case of finite (co)limits. We construct tensor products of such categories by means of pseudo-commutative enriched monads (a slight generalisation of the pseudo-commutative 2-monads of [37], and showing that lax-idempotent 2-monads are pseudo-commutative. Finally we apply the general theory developed for pseudomonoids to deduce the main results of [27]."],"dc:format.checksum.md5":["0b160c811bfb6dac2305ceba83d561b3","311ded89ff024e2c13cda6906a4df795"],"dc:identifier.doi":["10.17863/CAM.16203"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/8b53493a-8d1d-4d1a-a63d-55eb1735609e/download"],"dc:language":["en"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["http://www.dspace.cam.ac.uk/handle/1810/219201","https://www.repository.cam.ac.uk/handle/1810/219201"],"dc:rights":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/92a7e462-c286-4afd-a87e-49f35d7186ca/download","https://www.rioxx.net/licenses/all-rights-reserved/","2009"],"dc:subject":["monoidal bicategories","Hopf algabra","duals","monoidal category","centre construction","quantum double","fusion category"],"dc:title":["Autonomous Pseudomonoids"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:20Z"}