A vida em setas: uma introdução à teoria de categorias aplicada

Detalhes bibliográficos
Autor(a) principal: Freitas, Violeta Martins de
Data de Publicação: 2019
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://www.teses.usp.br/teses/disponiveis/55/55135/tde-18032020-125514/
Resumo: Este trabalho é uma introdução à área de Teoria de Categorias Aplicada. Após um breve capítulo introdutório à Teoria de Categorias, direcionado a um público geral, discutimos categorias monoidais e seu cálculo gráfico, ferramentas imprescindíveis para esta nascente área. Enfim, apresentamos duas aplicações, uma à Álgebra Linear e outra à Teoria de Sistemas.
id USP_342579acac7394643611eb920ffb86c4
oai_identifier_str oai:teses.usp.br:tde-18032020-125514
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling A vida em setas: uma introdução à teoria de categorias aplicadaLife in arrows: an introduction to applied category theoryÁlgebra linearApplied category theoryCategory theoryControl theoryLinear algebraSystems theoryTeoria de categoriasTeoria de categorias aplicadaTeoria de controleTeoria de sistemasEste trabalho é uma introdução à área de Teoria de Categorias Aplicada. Após um breve capítulo introdutório à Teoria de Categorias, direcionado a um público geral, discutimos categorias monoidais e seu cálculo gráfico, ferramentas imprescindíveis para esta nascente área. Enfim, apresentamos duas aplicações, uma à Álgebra Linear e outra à Teoria de Sistemas.This work is an introduction to the field of Applied Category Theory. Following a brief introduc- tory chapter on Category Theory, aimed at a general audience, we discuss monoidal categories and their graphic calculus which are indispensable tools to this nascent field. Finally, we present two applications, one to Linear Algebra and another to Systems Theory.Biblioteca Digitais de Teses e Dissertações da USPFerreira, Carlos Henrique GrossiFreitas, Violeta Martins de2019-12-17info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/55/55135/tde-18032020-125514/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/openAccesspor2020-03-20T16:01:02Zoai:teses.usp.br:tde-18032020-125514Biblioteca 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:27212020-03-20T16:01:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv A vida em setas: uma introdução à teoria de categorias aplicada
Life in arrows: an introduction to applied category theory
title A vida em setas: uma introdução à teoria de categorias aplicada
spellingShingle A vida em setas: uma introdução à teoria de categorias aplicada
Freitas, Violeta Martins de
Álgebra linear
Applied category theory
Category theory
Control theory
Linear algebra
Systems theory
Teoria de categorias
Teoria de categorias aplicada
Teoria de controle
Teoria de sistemas
title_short A vida em setas: uma introdução à teoria de categorias aplicada
title_full A vida em setas: uma introdução à teoria de categorias aplicada
title_fullStr A vida em setas: uma introdução à teoria de categorias aplicada
title_full_unstemmed A vida em setas: uma introdução à teoria de categorias aplicada
title_sort A vida em setas: uma introdução à teoria de categorias aplicada
author Freitas, Violeta Martins de
author_facet Freitas, Violeta Martins de
author_role author
dc.contributor.none.fl_str_mv Ferreira, Carlos Henrique Grossi
dc.contributor.author.fl_str_mv Freitas, Violeta Martins de
dc.subject.por.fl_str_mv Álgebra linear
Applied category theory
Category theory
Control theory
Linear algebra
Systems theory
Teoria de categorias
Teoria de categorias aplicada
Teoria de controle
Teoria de sistemas
topic Álgebra linear
Applied category theory
Category theory
Control theory
Linear algebra
Systems theory
Teoria de categorias
Teoria de categorias aplicada
Teoria de controle
Teoria de sistemas
description Este trabalho é uma introdução à área de Teoria de Categorias Aplicada. Após um breve capítulo introdutório à Teoria de Categorias, direcionado a um público geral, discutimos categorias monoidais e seu cálculo gráfico, ferramentas imprescindíveis para esta nascente área. Enfim, apresentamos duas aplicações, uma à Álgebra Linear e outra à Teoria de Sistemas.
publishDate 2019
dc.date.none.fl_str_mv 2019-12-17
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/55/55135/tde-18032020-125514/
url https://www.teses.usp.br/teses/disponiveis/55/55135/tde-18032020-125514/
dc.language.iso.fl_str_mv por
language por
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_ 1815257063978172416

Registros relacionados