Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática Pura e Aplicada, Florianópolis, 2017. / Made available in DSpace on 2017-10-24T03:21:31Z (GMT). No. of bitstreams: 1 347946.pdf: 810479 bytes, checksum: 1c2f1fb7f8c41b3cc057f71e30a878d5 (MD5) Previous issue date: 2017 / Sejam G um grupo finito que age em uma categoria de fusão C, H um subgrupo de G e M uma categoria módulo sobre C. Se M é um C-módulo H-equivariante, existe a equivariantização MH. O presente trabalho caracteriza os objetos simples em MH, em que M é uma categoria módulo indecomponível semissimples, bem como traz um estudo detalhado das ferramentas usadas para tal.<br> / Abstract : Let G be a group acting on a fusion category C, H a subgroup of G and M a module category over C. If M is a H-equivariant C-module then there exists the equivariantization MH. This work characterizes simple objects in MH, where M is a semisimple indecomposable module category, as well as presents a detailed study of the tools used for it.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The aim of this dissertation is to present a simpli cation of the proof of the following result obtained rst by Happel in [3]: If A is a nite-dimensional algebra over a eld algebraically closed K, then there is a triangulated, full and faithful functor of triangulated categories H : Db(modA) ! modA^, where A^ is the repetitive algebra obtained from A, which is also dense if A is of nite global dimension. We begin with a succinct presentation of the categorical language, approaching in general terms on the localization of categories, triangulated categories and their localizations, and nally derived categories, which are localized and triangulated categories. We also introduce the stable category of modules of a repetitive algebra A^. In the last chapter, we demonstrate the main result with the help of a result found in [8], in addition to the previously mentioned concepts. / O objetivo dessa disserta c~ao e trazer uma simpli ca c~ao da demonstra c~ao do seguinte resultado obtido primeiramente por Happel [3]: Se A e uma K- algebra de dimens~ao nita, ent~ao existe um funtor pleno, el e triangulado H : Db(modA) ! modA^, onde A^ e a a lgebra repetitiva obtida de A, que e tamb em denso se A e de dimensa~o global nita. Iniciamos com uma apresenta c~ao sucinta da linguagem categ orica, abordando de maneira geral sobre localiza c~ao de categorias, categorias trianguladas e suas localiza c~oes, e nalmente categorias derivadas, que s~ao categorias localizadas e trianguladas. Tamb em introduzimos a categoria est avel de m odulos da algebra repetitiva de A. No ultimo cap tulo, demonstramos o resultado principal com o aux lio de um resultado encontrado em [8], al em dos conceitos citados anteriormente. / São Cristóvão, SE

Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses problemas relacionadas à questão da aproximabilidade, este trabalho apresenta uma abordagem semântica para tratar algumas questões originalmente estudadas dentro da Teoria da Complexidade Computacional, especificamente no contexto da Complexidade Estrutural. Procede-se a uma investigação de interesse essencialmente teórico, buscando obter uma formalização para a teoria dos algoritmos aproximativos em dois sentidos. Por um lado, considera-se um algoritmo aproximativo para um problema de otimização genérico como o principal objeto de estudo, estruturando-se matematicamente o conjunto de algoritmos aproximativos para tal problema como uma ordem parcial, no enfoque da Teoria dos Domínios de Scott. Por outro lado, focaliza-se sobre as reduções entre problemas de otimização, consideradas como morfismos numa abordagem dentro da Teoria das Categorias, onde problemas de otimização e problemas aproximáveis são os objetos das novas categorias introduzidas. Dentro de cada abordagem, procura-se identificar aqueles elementos universais, tais como elementos finitos, objetos totais, problemas completos para uma classe, apresentando ainda um sistema que modela a hierarquia de aproximação para um problema de otimização NP-difícil, com base na teoria categorial da forma. Cada uma destas estruturas matemáticas fornecem fundamentação teórica em aspectos que se complementam. A primeira providencia uma estruturação interna para os objetos, caracterizando as classes de problemas em relação às propriedades de aproximabilidade de seus membros, no sentido da Teoria dos Domínios, enquanto que a segunda caracteriza-se por relacionar os objetos entre si, em termos de reduções preservando aproximação entre problemas, num ponto de vista externo, essencialmente categorial.

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva tem encontrado até o momento grandes obstáculos, todos decorrência natural da brevidade de sua História. A baixa oferta de bibliografia (e predominantemente em língua inglesa) e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação - a baixa oferta de cursos com enfoque em Teoria das Categorias. Consegue, a despeito destes obstáculos, arrebanhar admiradores em inúmeros centros de reconhecida excelência técnica e científica. Dentre todas as áreas do conhecimento, atrai em especial a atenção da Ciência da Computação, por características como independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de outros formalismos, forte embasamento em notação gráfica e, sobretudo, pela expressividade de suas construções [MEN2001]. No Brasil, já conta com o reconhecimento de seu papel no futuro da Ciência da Computação por parte de instituições como SBC e MEC. Os obstáculos aqui descritos, entretanto, ainda necessitam ser transpostos. O presente trabalho foi desenvolvido visando contribuir nesta tarefa. O projeto consiste em uma iniciativa aplicada em Ciência da Computação, a qual visa oportunizar o franco acesso aos conceitos categoriais introdutórios: uma aplicação de computador que faça amplo uso de representação diagramática para apresentar a proposição de conceitos básicos do grupo de pesquisa em Teoria das Categorias do Instituto de Informática da UFRGS. A proposição e implementação de uma ferramenta, embora não constitua iniciativa inédita no mundo, até onde se sabe é a segunda experiência desta natureza. Ademais, vale destacar que os conceitos tratados, assim como os objetivos visados, são atendidos de forma única e exclusiva por esta aplicação. Conjuntamente, vislumbra-se a aplicação desenvolvida desempenhando importante papel de agente catalisador na propagação da visão dos Grupos de Pesquisa em Teoria das Categorias da UFRGS e da PUC/RJ do que sejam os "conceitos categoriais introdutórios".

Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva tem encontrado até o momento grandes obstáculos, todos decorrência natural da brevidade de sua História. A baixa oferta de bibliografia (e predominantemente em língua inglesa) e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação - a baixa oferta de cursos com enfoque em Teoria das Categorias. Consegue, a despeito destes obstáculos, arrebanhar admiradores em inúmeros centros de reconhecida excelência técnica e científica. Dentre todas as áreas do conhecimento, atrai em especial a atenção da Ciência da Computação, por características como independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de outros formalismos, forte embasamento em notação gráfica e, sobretudo, pela expressividade de suas construções [MEN2001]. No Brasil, já conta com o reconhecimento de seu papel no futuro da Ciência da Computação por parte de instituições como SBC e MEC. Os obstáculos aqui descritos, entretanto, ainda necessitam ser transpostos. O presente trabalho foi desenvolvido visando contribuir nesta tarefa. O projeto consiste em uma iniciativa aplicada em Ciência da Computação, a qual visa oportunizar o franco acesso aos conceitos categoriais introdutórios: uma aplicação de computador que faça amplo uso de representação diagramática para apresentar a proposição de conceitos básicos do grupo de pesquisa em Teoria das Categorias do Instituto de Informática da UFRGS. A proposição e implementação de uma ferramenta, embora não constitua iniciativa inédita no mundo, até onde se sabe é a segunda experiência desta natureza. Ademais, vale destacar que os conceitos tratados, assim como os objetivos visados, são atendidos de forma única e exclusiva por esta aplicação. Conjuntamente, vislumbra-se a aplicação desenvolvida desempenhando importante papel de agente catalisador na propagação da visão dos Grupos de Pesquisa em Teoria das Categorias da UFRGS e da PUC/RJ do que sejam os "conceitos categoriais introdutórios".

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática Pura e Aplicada, Florianópolis, 2015. / Made available in DSpace on 2015-05-19T04:09:52Z (GMT). No. of bitstreams: 1 333592.pdf: 1086313 bytes, checksum: 480b3adc594facafa04587c71a5c0892 (MD5) Previous issue date: 2015 / A teoria de categorias é apresentada pela primeira vez em 1945, no trabalho entitulado General Theory of Natural Equivalences. Na publicação de 1950, entitulada Duality for Groups, MacLane introduz por meio axiomático a noção de categoria abeliana. O objetivo desse trabalho é estudar algumas construções feitas em categorias k-lineares (que são abelianas). Passamos por todas as definições e resultados necessários na teoria de categorias para podermos definir ação de um grupo finito G em uma categoria k-linear e, em seguida, definir a equivariantização de uma categoria k-linear. Como principal resultado, mostramos que a equivariantização de uma categoria k-linear é, também, k-linear. Para esse estudo, utilizamos como referência principal, as notas de aula Una introdución a las categorías tensoriales y sus representaciones do prof. Dr. Martín Mombelli.<br> / Abstract : The category theory is introduced for the first time in 1945 in a research entitulated General Theory of Natural Equivalences. In 1950 in a publication called Duality for Groups, MacLane introduce trough axioms the notion of abelian category. The purpose of this research is studying some contructions done in k-linear categories which are abelians. We have studied all necessary definitions and results in the categories theory so we can define the action of a finite group G in a k-linear category and after that we can define the equivariantization of a k-linear category. As the main result we have shown the equivariantization of a k-linear category is, also, k-linear. We study as the main reference the class notes Una introdución a las categorías tensoriales y sus representaciones of the prof. Dr. Martín Mombelli.

Made available in DSpace on 2012-09-06T01:11:21Z (GMT). No. of bitstreams: 2 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) 260.pdf: 2072639 bytes, checksum: dddeaefbeed6508c5cd60deb910b923e (MD5) Previous issue date: 2001 / Os aeronautas, pelas características de seu processo de trabalho, estäo submetidos a diversos riscos, presentes tanto no seu ambiente, quanto na sua organizaçäo de trabalho. A aeronave, para se adequar ao "ato de voar" , sofre modificaçöes em seu ambiente, tais como ruídos, vibraçäo, baixa umidade do ar e da pressäo parcial de oxigênio e outros fatores que, a longo prazo, podem atuar no organismo dos seus ocupantes, causando alteraçöes. Os aviöes de alta tecnologia voam a altitudes cada vez mais elevadas, aumentando a intensidade das exposiçöes às radiaçöes cósmicas podendo aumentar a incidência de riscos entre a tripulaçäo. Por prestarem serviços de forma ininterrupta, os transportes aéreos fazem parte de um sistema que impöe aos seus funcionários um esquema de jornadas irregulares de trabalho que, além disso, cruzam fusos horários ao realizar jornadas de longa duraçäo, podendo imprimir modificaçöes nos seus ciclos biológicos, como alteraçöes nos hábitos de sono e de alimentaçäo. Objetivamos neste estudo investigar esses riscos e relacioná-los a marcadores biológicos cujos resultados auxiliem a monitorar esses efeitos. Para tanto, apresentamos um protocolo utilizando indicadores bioquímicos e hematológicos que complementem os exames periódicos já existentes.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2016-06-14T14:40:07Z No. of bitstreams: 1 Dissertação Darllan Conceição Pinto.pdf: 899783 bytes, checksum: 5572f413815923ab3c8d189ad9a5ffe3 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-14T15:34:46Z (GMT) No. of bitstreams: 1 Dissertação Darllan Conceição Pinto.pdf: 899783 bytes, checksum: 5572f413815923ab3c8d189ad9a5ffe3 (MD5) / Made available in DSpace on 2016-06-14T15:34:46Z (GMT). No. of bitstreams: 1 Dissertação Darllan Conceição Pinto.pdf: 899783 bytes, checksum: 5572f413815923ab3c8d189ad9a5ffe3 (MD5) / FAPESB / Neste trabalho, inicialmente, apresentamos a Dualidade de Esakia. Enfraquecendo os mor smos de reticulados e considerando os mor smo de Esakia como sendo Mor smos Parciais de Esakia, obtemos a Dualidade Generalizada de Esakia. Com esses resultados, estabelecemos uma dualidade entre as categorias de L ogicas Abstratas Distributivas e espa cos Priestley, e uma representa c~ao de L ogicas Abstratas Intuicionistas em Espa cos de Esakia. Por m, aplicamos os resultados na compara c~ao da Condi c~ao de Dom nios Fechados (CDF) com a Condi c~oes de Dom nios Fechados de Zakharyaschev (CDFZ). / In this work, initially, we present the Esakia duality. Weakening the morphisms of lattices and considering the Esakia morphism as Partial Esakia morphism, we obtain the Generalized Esakia Duality. With these results, we establish a duality between the categories of Distributive Abstract Logic and Priestley Spaces, and a representation of intuitionistic Abstract Logic and Esakia Spaces. Finally, we apply the results of the comparison closed domain condition (CDC) with the Zakharyaschev's closed domain condition (ZCDC).

El presente trabajo tiene como objetivo principal el generar herramientas de análisis específicas que logren apoyar las decisiones tácticas que toman tanto proveedores como distribuidores mayoristas en relación al manejo de sus categorías y de la relación con sus clientes. Este objetivo se sustenta en la complejidad actual presente en la distribución comercial y en la gran cantidad de información disponible acerca de datos transaccionales y de clientes. Para lograr esto se plantean 3 etapas principales que son la base fundamental de la metodología utilizada. La primera etapa consta del levantamiento de la situación actual del retail en Chile y de la base de conocimiento en gestión de retail. Una segunda etapa corresponde al diseño de reportes cuyo objetivo es apoyar decisiones tácticas específicas a partir de una visión analítica del problema. Finalmente se considera como una etapa final la aplicación de los reportes diseñados a casos reales y la realización de recomendaciones tanto a la cadena mayorista como a sus proveedores. A partir del estudio de dimensiones de análisis y la construcción de indicadores de gestión se diseñan 3 reportes complementarios. El primero de ellos entrega una mirada global del desempeño de la cadena y sus principales categorías; teniendo como objetivo principal entregar un marco general del estado actual de la cadena y sus proveedores para ambientar la oportunidad de mejora. Los otros dos reportes tienen el objetivo específico de apoyar una decisión táctica: surtido y promoción. En el caso del surtido el apoyo se centra en el desempeño de un proveedor específico dentro de sus categorías claves y cómo explicar las variaciones que sufre a lo largo del tiempo junto con la competencia. A partir de ello será posible realizar recomendaciones de concentración de mix, salida o entrada de productos al mercado en estudio y asociación de productos entre otras. El reporte de promociones por otro lado centra su foco en conocer el perfil de clientes que consumen determinada categoría o grupo de productos para luego identificar cuales segmentos de clientes requieren de mayor atención, y más importante aún, que tipo de atención requieren. Con este reporte es posible identificar que segmento de clientes aporta mayor valor a la empresa (distribuidor mayorista o proveedor), identificar cuales son los clientes con potencialidad de abandono (o cambio entre proveedores); todo esto con la finalidad de encontrar la actividad promocional que logre retener a estos buenos clientes o cautivar a quienes han dejado de consumir o nunca han consumido. De esta manera estas acciones promocionales focalizadas lograrán entregar una oferta focalizada a cada grupo de clientes identificable, donde los grupos están definidos de acuerdo a su comportamiento transaccional. A partir de esto se le entrega a la empresa Penta Retail; con la cual se está realizando el trabajo, una herramienta que a partir de datos transaccionales y de clientes, logra apoyar la gestión por parte de la cadena mayorista y sus proveedores.