Sheaves on semicartesian monoidal categories and applications in the quantalic case

Detalhes bibliográficos
Ano de defesa: 2023
Autor(a) principal: Tenorio, Ana Luiza da Conceição
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Categorias monoidais
Cech cohomology
Cohomologia de Cech
Feixes
Grothendieck pretopology
Monoidal categories
Pré-topologia de Grothendieck
Quantales
Sheaves
Link de acesso: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-31082023-163143/
Resumo: In this doctoral thesis, we introduce the notion of Grothendieck prelopologies, which is a notion of covering for semicartesian monoidal categories that generalizes Grothendieck pretopologies. Moreover, this generalization encompasses a certain notion of sheaves in semicartesian quantales Q, introduced in this thesis, which is more general than the usual definition of sheaves on locales L. We observe that the respective sheaf categories, Sh(Q) and Sh(L), share certain properties; however, Sh(Q) does not always form a Grothendieck topos. The analysis of the lattice of subobjects of the terminal sheaf in Sh(Q) suggests that the notion of sheaves for Grothendieck prelopologies has a linear internal logic rather than an intuitionistic one. Furthermore, we develop a Cech cohomology in which the coefficients are sheaves on a quantale, and we find a morphism between the locale of open sets of a topological space X and the quantale of ideals of the ring C(X) of continuous functions on that allows us to relate the Cech cohomology of X and the (expanded) Cech cohomology of C(X).
id USP_52a88e8f8e33de92135db2885e96b999
oai_identifier_str oai:teses.usp.br:tde-31082023-163143
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Sheaves on semicartesian monoidal categories and applications in the quantalic caseFeixes em categorias monoidais semicartesianas e aplicações no caso quantálicoCategorias monoidaisCech cohomologyCohomologia de CechFeixesGrothendieck pretopologyMonoidal categoriesPré-topologia de GrothendieckQuantalesQuantalesSheavesIn this doctoral thesis, we introduce the notion of Grothendieck prelopologies, which is a notion of covering for semicartesian monoidal categories that generalizes Grothendieck pretopologies. Moreover, this generalization encompasses a certain notion of sheaves in semicartesian quantales Q, introduced in this thesis, which is more general than the usual definition of sheaves on locales L. We observe that the respective sheaf categories, Sh(Q) and Sh(L), share certain properties; however, Sh(Q) does not always form a Grothendieck topos. The analysis of the lattice of subobjects of the terminal sheaf in Sh(Q) suggests that the notion of sheaves for Grothendieck prelopologies has a linear internal logic rather than an intuitionistic one. Furthermore, we develop a Cech cohomology in which the coefficients are sheaves on a quantale, and we find a morphism between the locale of open sets of a topological space X and the quantale of ideals of the ring C(X) of continuous functions on that allows us to relate the Cech cohomology of X and the (expanded) Cech cohomology of C(X).Nessa tese de doutorado nós apresentamos a noção de pré-lopologias de Grothendieck, que é uma noção de cobertura para categorias monoidais semicartesianas que generaliza as pré-topologias de Grothendieck. Mais do que isso, tal generalização engloba uma certa noção feixes em quantales semicartesianos, Q, introduzida nessa tese, a qual é mais geral que a definição usual de feixes em locales L. Verificamos que as respectivas categorias de feixes, Sh(Q) e Sh(L), possuem propriedades em comum, contudo, Sh(Q) nem sempre forma um topos de Grothendieck. A análise do reticulado dos subobjetos do feixe terminal em Sh(Q) sugere que a noção de feixes para as prelopologias de Grothendieck possui uma lógica interna linear em vez de intuicionista. Ainda, desenvolvemos uma cohomologia de Cech na qual os coeficientes são feixes em um quantale e encontramos um morfismo entre o locale dos abertos de um espaço topológico X e o quantale dos ideais do anel C(X) das funções contínuas em que permite relacionar a cohomologia de Cech de X e a cohomologia (expandida) de Cech de C(X).Biblioteca Digitais de Teses e Dissertações da USPMariano, Hugo LuizTenorio, Ana Luiza da Conceição2023-07-13info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/45/45131/tde-31082023-163143/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesseng2023-09-27T21:22:03Zoai:teses.usp.br:tde-31082023-163143Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-09-27T21:22:03Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Sheaves on semicartesian monoidal categories and applications in the quantalic case
Feixes em categorias monoidais semicartesianas e aplicações no caso quantálico
title Sheaves on semicartesian monoidal categories and applications in the quantalic case
spellingShingle Sheaves on semicartesian monoidal categories and applications in the quantalic case
Tenorio, Ana Luiza da Conceição
Categorias monoidais
Cech cohomology
Cohomologia de Cech
Feixes
Grothendieck pretopology
Monoidal categories
Pré-topologia de Grothendieck
Quantales
Quantales
Sheaves
title_short Sheaves on semicartesian monoidal categories and applications in the quantalic case
title_full Sheaves on semicartesian monoidal categories and applications in the quantalic case
title_fullStr Sheaves on semicartesian monoidal categories and applications in the quantalic case
title_full_unstemmed Sheaves on semicartesian monoidal categories and applications in the quantalic case
title_sort Sheaves on semicartesian monoidal categories and applications in the quantalic case
author Tenorio, Ana Luiza da Conceição
author_facet Tenorio, Ana Luiza da Conceição
author_role author
dc.contributor.none.fl_str_mv Mariano, Hugo Luiz
dc.contributor.author.fl_str_mv Tenorio, Ana Luiza da Conceição
dc.subject.por.fl_str_mv Categorias monoidais
Cech cohomology
Cohomologia de Cech
Feixes
Grothendieck pretopology
Monoidal categories
Pré-topologia de Grothendieck
Quantales
Quantales
Sheaves
topic Categorias monoidais
Cech cohomology
Cohomologia de Cech
Feixes
Grothendieck pretopology
Monoidal categories
Pré-topologia de Grothendieck
Quantales
Quantales
Sheaves
description In this doctoral thesis, we introduce the notion of Grothendieck prelopologies, which is a notion of covering for semicartesian monoidal categories that generalizes Grothendieck pretopologies. Moreover, this generalization encompasses a certain notion of sheaves in semicartesian quantales Q, introduced in this thesis, which is more general than the usual definition of sheaves on locales L. We observe that the respective sheaf categories, Sh(Q) and Sh(L), share certain properties; however, Sh(Q) does not always form a Grothendieck topos. The analysis of the lattice of subobjects of the terminal sheaf in Sh(Q) suggests that the notion of sheaves for Grothendieck prelopologies has a linear internal logic rather than an intuitionistic one. Furthermore, we develop a Cech cohomology in which the coefficients are sheaves on a quantale, and we find a morphism between the locale of open sets of a topological space X and the quantale of ideals of the ring C(X) of continuous functions on that allows us to relate the Cech cohomology of X and the (expanded) Cech cohomology of C(X).
publishDate 2023
dc.date.none.fl_str_mv 2023-07-13
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/45/45131/tde-31082023-163143/
url https://www.teses.usp.br/teses/disponiveis/45/45131/tde-31082023-163143/
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815258607577464832

Registros relacionados