Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2016-08-09T11:35:29Z No. of bitstreams: 1 texto completo.pdf: 846245 bytes, checksum: b2859e4035cb798499a19329af43039f (MD5) / Made available in DSpace on 2016-08-09T11:35:29Z (GMT). No. of bitstreams: 1 texto completo.pdf: 846245 bytes, checksum: b2859e4035cb798499a19329af43039f (MD5) Previous issue date: 2016-02-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho, caracterizamos e apresentamos algumas propriedades dos morfismos irredutíveis na categoria de complexos CI (P) e na categoria homotópica K− (P), onde P é a categoria dos módulos projetivos finitamente gerados sobre uma álgebra de Artin Λ e I é o ideal de P formado pelos morfismos radicais, de acordo com o artigo [9]. Com base no artigo [1], caracterizamos um certo tipo de triângulo distinguido em K− (P) com os dois primeiros morfismos irredutíveis na categoria triangulada K− (P). Estudamos também alguns resultados apresentados em [14] sobre morfismos irredutíveis na categoria homotópica K b (Λ), sendo Λ uma álgebra de dimensão global finita. / In this work, we characterize and present some properties of morphisms irreducible in complexes category CI (P) and in homotopic category K− (P), where P is the category of finitely generated projective modules over an Artin algebra Λ and I is the ideal of P formed by radical morphisms, according with article [9]. Based on article [1], we characterize a certain type of distinguished triangle in K− (P) with the two first irreducible morphisms in the triangulated category K− (P). We also study some results presented in [14] about irreducible morphisms in homotopic category Kb (Λ), being Λ an algebra of finite global dimension.

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, 2016. / Made available in DSpace on 2016-09-20T04:30:00Z (GMT). No. of bitstreams: 1 339469.pdf: 852789 bytes, checksum: a589d17328e7af67e511efd2639a691c (MD5) Previous issue date: 2016 / O presente trabalho tem como objetivo demonstrar o Teorema de Mac Lane para a condição estrita. Tal teorema afirma que toda categoria monoidal é monoidalmente equivalente a uma categoria monoidal estrita. Além disso, apresentamos categorias abelianas e demonstramos que toda categoria monoidal também é monoidalmente equivalente a uma categoria monoidal esquelética.Utilizamos como referência principal as notas de Una introdución a las categorías tensoriales y sus representaciones do Prof. Dr. Martín Mombelli.<br> / Abstract : The present work aims to demonstrate Mac Lane's Strictness Theorem. This theorem states that any monoidal category is monoidally equivalent to a strict monoidal category. Moreover, we present abelian categories and demonstrate that any monoidal category is monoidally equivalent to a skeletal monoidal category.We used 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.

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.

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.

Orientador : Alexandre Ananin / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-01T17:28:40Z (GMT). No. of bitstreams: 1 Picanco_RogerioCarvalho_M.pdf: 3152141 bytes, checksum: 997dd426f1d5082a898e9be42ef6e672 (MD5) Previous issue date: 2002 / Resumo: Ao principiante no estudo da moderna Geometria Algébrica se requer uma bagagem de técnicas, tais como: categorias abelianas, funtores, feixes, cohomologias, etc. Neste trabalho, procuramos apresentar algumas destas técnicas a este público. Embora o texto seja de nível introdutório, os conceitos são apresentados com um nível de generalização superior a exigida na maioria das aplicações. A teoria de cohomologias, por exemplo, é tratada no contexto das categorias abelianas, ao invés da forma algébrica, mais simples e, em geral, utilizada nas aplicações. Por outro lado, com este enfoque, ganhamos a apresentação dos delta-funtores. Os feixes são, por um lado, os coeficientes locais para cálculo de invariantes chamados cohomologias, por outro lado, uma ferramenta para expressar propriedades geométricas. Esta ferramenta é mais relevante aos estudos de propriedades de espaços com uma estrutura rígida (tais como espaços analíticos, variedades algébricas etc.) do que invariantes topo lógicos, mas abrange ambos casos. Incluímos uma rápida explanação sobre feixes coerentes. Essencialmente, a última parte do texto deseja apresentar diversos métodos básicos de cálculos de cohomologias com coeficientes num feixe, incluindo o método de Cech. A execução deste trabalho contou com o suporte financeiro da FAPESP / Abstract: For any beginner who will study the modero Algebraic Geometry, it is required some amount of techniques such as abelian categories, functors, sheaves, cohomologies, etc. In this work, we are going to represent some ofthem. Although the text is introductory, the conceptions represented are more general than needed in most applications. For instance, the cohomologies are treated in the context of abelian categories instead of the simpler algebraic approach normally used in applications. On the other hand, this allows us to introduce the delta-functors. The sheaves are the local coefficients for invariants named cohomologies. On the other hand, they are some way to express many geometric properties. This tool is more adequate in studying the properties ofthe spaces equipped with some rigid structure (such as analytic spaces, algebraic varieties, etc.) than that of topological invariants. Nevertheless, it involves both cases. There is also some brief exposition of coherent sheaves.Essentially, the last part ofthe text is devoted to difIerent basic methods of calculating cohomologies with coefficients in sheaves, including the Cech one.This work was supported by FAPESP / Mestrado / Mestre em Matemática

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-31T14:53:37Z (GMT). No. of bitstreams: 1 Sbardellini_LuisAugusto_M.pdf: 6203251 bytes, checksum: 2194621e6912483f7d0be2f2f3722695 (MD5) Previous issue date: 2001 / Resumo: o presente trabalho trata de semântica categorial, isto é, da interpretação de linguagens de primeira ordem em categorias. Propomos aqui uma generalização da semântica categorial usual (no sentido de [9]) através da modificação adequada da interpretação de símbolos de constantes. Na nossa nova abordagem, qualquer objeto de categoria pode interpretar a sorte de uma constante, mesmo que ele não tenha elementos globais. Exemplificamos os resultados conseguidos através do estudo de feixes e pré-feixes e realizamos uma comparação com as abordagens tradicional e estendida (em [3])...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The present work treats of categorial semantics, that is, the interpretation of first order languages in categories. We propose here a generalization of the usual categorial semantics (in the sense of [9]) through the suitable modification of the interpretation of symbols of constants. In our approach, any categorial object may interpret the sort of a constant, even of it does not have global elements. We exemplified the results obtained through the study of sheaves and presheaves and established a comparison with the traditional and extended approaches (in [3])....Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Filosofia

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T02:58:32Z (GMT). No. of bitstreams: 1 Sbardellini_LuisAugusto_D.pdf: 573056 bytes, checksum: 91131e8de503f4803299cc53d599a5da (MD5) Previous issue date: 2005 / Resumo: O presente trabalho é uma investigação filosófica, com desdobramento matemático, acerca da concepção do continuum e dos números reais. Resguardando a idéia de magnitudes variando continuamente como o essencial de maior relevância histórica para o desenvolvimento conceitual do continuum, propomos sua formalização por intermédio da noção matemática de homogeneidade. Discorremos sobre o emprego da linguagem das categorias como abrigo teórico da investigação, aderindo à sua causa, e examinamos a relação entre a linguagem interna de um topos e o construtivismo matemático. Com o auxílio da teoria local de conjuntos, introduzimos, entre outras definições elementares, a noção de persistência uniforme e estabelecemos uma sucessão de resultados que assistiram a demosntração da homogeneidade das estruturas ordenadas dos racionais de Dedekind e dos reais de Cauchy. Illustramos matematicamnte a eleboração abstrata da teoria através do topos dos feixes sobre um espaço topológico / Abstract: The present thesis is a philophical investigation with mathematical development, concerning the conception of the continuum and the real numbers. Upholding the idea continuosly varying magnitudes as the essential attbute of greatest historical relevance to the conceptual development of the continuum, we propound its formalization by means of the mathematical notion of homogeneity. We discuss the use of the language of categories as theoretic environment of the investigation, defending its cause, andwe examine the relation between the internal language of o topos and the mathematical constructivism. With support of the local set theory, we introduce, among other elementary definitions, the notion of uniform persistence and we establish a series of results which attended the proof of the homogeneity of the ordered strutures of the rational numbers, Dedeking reals and Cauchy reals. We illustrate mathematically the abstract elaboration of the theory by means of the topos of sheaves over a topological spaces / Doutorado / Filosofia / Doutor em Filosofia

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2017-07-21T16:14:18Z No. of bitstreams: 1 texto completo.pdf: 815357 bytes, checksum: 2a68f912958bd6f8757752e5431c5454 (MD5) / Made available in DSpace on 2017-07-21T16:14:18Z (GMT). No. of bitstreams: 1 texto completo.pdf: 815357 bytes, checksum: 2a68f912958bd6f8757752e5431c5454 (MD5) Previous issue date: 2017-02-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta dissertação estudamos principalmente a correspondência entre categoria modelo e pares de cotorsão em categorias abeliana e exata. A correspondência de Hovey para categoria abeliana é adaptada para categoria exata. E isto é possível quando a categoria exata é fracamente idempotente completa. Esta correspondência nos permite encontrar estruturas modelos através de pares de cotorsão. Também estudamos as categorias Grothendieck e exata do tipo Grothendieck que são categorias abeliana e exata, respectivamente, que nos fornecem alguns exemplos de pares de cotorção. / Correspondece between Model Categories and Cotorsion Pairs of Abelian and Exact Category. Adiviser: Sônia Maria Fernandes.. In this dissertation we studied mainly the correspondence between model category and cotorsion pairs in abelian and exact categories. Hovey’s correspondence to abelian category is adapted to exact category. And it is possible when an exact category is weakly idempotent complete. This correspondence allows us to find model structures through cotorsion pairs. Also we study like Grothendieck categories and exact categories of Grothendieck type, which are abelian and exact categories, respectively, which provide us with some examples of cotorsion pairs.

Orientador: Marcos Benevenuto Jardim / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-10T08:38:10Z (GMT). No. of bitstreams: 1 Prata_DanielaMoura_M.pdf: 537246 bytes, checksum: 34750d4837b03d877cf678e318e84f40 (MD5) Previous issue date: 2008 / Resumo: Nesta dissertação o principal objetivo é introduzir na categoria de representações torcidas de um quiver Q as definições e resultados já co-nhecidos para categorias de representações de quivers. O conceito de reapresentações torcidas foi introduzido por Gothen e King em [11] para estudar problemas envolvendo fibrados vetoriais sobre variedades algébricas. King também mostrou em [16] que, sobre certas condições, as representações semi-estáveis de um quiver são parametrizadas por uma variedade algébrica projetiva, normal, irredutível. Mostramos que o mesmo vale para representações torcidas de quivers. Nosso principal resultado, que 'e original, mostra equivalência entre a categoria de representações M - torcidas de um quiver Q, RepMQ, e a categoria de representações de um quiver ¿Q, Rep , onde Q depende de Q e dos espaços de M. Essa equivalência nos permitiu desenvolver um pouco da teoria já conhecida para Rep ¿Q na linguagem de RepMQ, reescrever resultados clássicos como o Teorema de Gabriel e de Kac para a categoria de representações torcidas e também relacionar RepQ com RepMQ / Abstract: The main goal of this thesis is to introduce for the category of twisted representations of a quiver Q the definitions and results one already knows for categories of representations of quivers. The concept of twisted representations was introduced by Gothen and King in [11] to study problems concerning vector bundles over algebraic varieties. King also showed in [16] that under certain conditions, semi-stable representations of a quiver are parametrized by an irreducible, normal projective algebraic variety. We show that we have the same results for twisted representations. Our main and original result provides an equivalence between the category of twisted representations of a quiver Q, RepMQ, and the category of representations of a quiver Q, Rep ¿Q, where ¿Q depends on Q and on the twisting factors. With this equivalence we developed the existing theory of representations of quivers for twisted representations, we rewrote classical results like Gabriel¿s theorem and Kac¿s theorem for the category of twisted representations and found a relation between RepQ and RepMQ / Mestrado / Algebra / Mestre em Matemática

Orientador: Marcos Benevenuto Jardim / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-24T04:44:46Z (GMT). No. of bitstreams: 1 Silva_VitorMorettoFernandesda_D.pdf: 591420 bytes, checksum: aa507d8eca04760207f4e88b0636be83 (MD5) Previous issue date: 2013 / Resumo: Neste trabalho estudamos uma equivalência entre mônadas e representações de quivers. No segundo capítulo apresentamos um critério de decomponibilidade para mônadas lineares e, em particular, para instantons. No terceiro capítulo apresentamos exemplos de mônadas sobre espaços projetivos de dimensão par que generalizam a mônada de Horrocks-Mumford em P4 / Abstract: In this work, we study an equivalence between monads and representations of quivers. The second chapter presents a decomposability criterion for linear monads and, in particular, for instantons. In the third chapter we present new examples of monads on projective spaces of even dimension, which generalize the Horrocks-Mumford monad on P4 / Doutorado / Matematica / Doutor em Matemática