O presente trabalho apresenta uma investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas a uma área específica da Ciência da Computação, a saber, animações computacionais baseadas em autômatos finitos com saída. As operações categoriais estudadas neste trabalho são: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animação Gráfica baseada em Autômatos finitos) foi o escolhido para ser utilizado como base desta dissertação. Inspirado nestes estudos, o trabalho contém uma proposta de como aplicar tais operações com o objetivo de definir animações aparentemente complexas, de forma simples, precisa e de fácil implementação. O enfoque está baseado em J. Stoy que diz que um dos objetivos para o uso da semântica formal de teoria das categorias é “sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes (“limpos”) e com descrições formais mais simples”. Entretanto, não é objetivo deste trabalho verificar se a utilização destas operações é ou não melhor do que a utilização de qualquer outra solução para criar novas animações. Esta dissertação traz uma nova versão do modelo AGA, denominada AGANd (Animação Gráfica baseada em Autômatos finitos Não determinísticos), sendo que o AGA utiliza apenas autômatos finitos determinísticos para criar os atores de uma animação. Com a utilização do AGANd obtém-se animações mais realistas e mais flexíveis. A aplicação destas operações se dá nos dois modelos, os resultados obtidos a partir de cada uma das operações sobre os mesmos são apresentados de forma detalhada e ilustrados com os autômatos resultantes no decorrer do trabalho. É apresentada uma sugestão de implementação para cada uma das operações, visando estender o protótipo já implementado do modelo AGA. Isso faz com que o leitor seja estimulado a aplicar estas e outras operações categoriais em novas animações baseadas ou não nos modelos apresentados, despertando até mesmo para seu uso em outras áreas da Ciência da Computação.

Um span em uma categoria é um par ordenado de morfismos dessa categoria, ambos com origem num mesmo objeto. O destino do primeiro morfismo é a origem do span e o destino do segundo morfismo é o destino do span. Spans, embora sejam uma estrutura bastante simples numa categoria e tenham uma definição também bastante simples, são versáteis, pois, com especializações sutis apresentadas aqui, são capazes de representar outras estruturas, tais como as tratadas nesses trabalho: relações binárias, multirrelações binárias, grafos e, em conjunto com um morfismo adicional, sistemas de transições etiquetadas (LTS). Permitem ainda, como proposto nesse trabalho, definir de forma também simples, redes de Petri como sendo um endospan em uma categoria. Mostra-se que a composição de spans aplicada a essas estruturas é capaz de expresar a composição de multirrelações — mas não de relações —, uma composição de grafos cujo grafo resultante indica caminhos em que cada parte é uma aresta de um dos grafos operados, uma composição de LTS cujo LTS resultante apresenta transações que podem ser compostas por transições de diferentes LTS e uma composição de redes de Petri cujo resultado também apresenta transações compostas por transições que podem ser realizadas em redes de Petri distintas. Mostra-se algumas propriedades dessas composições, bem como suas provas. Como verificar propriedades de relações e de grafos através de spans também é proposto.

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.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Economia, Administração e Contabilidade, Departamento de Economia, Programa de Pós-Graduação em Economia, 2017. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2017-03-31T13:55:03Z No. of bitstreams: 1 2017_HenriqueSilveiraRabelo.pdf: 488725 bytes, checksum: 127ee2413f049761d0af3453f8be0ccb (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-04-25T22:30:16Z (GMT) No. of bitstreams: 1 2017_HenriqueSilveiraRabelo.pdf: 488725 bytes, checksum: 127ee2413f049761d0af3453f8be0ccb (MD5) / Made available in DSpace on 2017-04-25T22:30:17Z (GMT). No. of bitstreams: 1 2017_HenriqueSilveiraRabelo.pdf: 488725 bytes, checksum: 127ee2413f049761d0af3453f8be0ccb (MD5) / Este trabalho apresenta uma representação de preferências sobre menus na qual a tomadora de decisão categoriza o conjunto de alternativas. Tendo uma preferência estrita sobre as alternativas, ela escolhe o menu hoje sabendo que amanhã irá escolher a melhor alternativa do menu que pertence a uma categoria escolhida aleatoriamente. A incerteza sobre a relevância de cada categoria no ato de escolha leva a uma preferência por flexibilidade. Serão desenvolvidas representações ordinal e aditiva e será mostrado que aditividade impõe restrições adicionais apenas quando as categorias são disjuntas dois-a-dois. / This work presents a representation of preference over menus in which the decision-maker categorizes the set of alternatives. Endowed with a strict preference over the alternatives, she chooses a menu today knowing that tomorrow she will pick the best alternative in the menu that belongs to a randomly drawn category. The uncertainty about the relevance of each category in the act of choice leads to a preference for flexibility. It will be developed ordinal and additive representations and it will be shown that additivity imposes additional restrictions only when the categories are pairwise disjoint.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Administração, Contabilidade e Economia, Departamento de Economia, Programa de Pós-Graduação em Economia, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2015-05-22T15:35:01Z No. of bitstreams: 1 2015_BrunoAlbuquerqueFurtado.pdf: 440622 bytes, checksum: 727538830e37d0f54a844e8ac3cb62da (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2015-05-27T12:25:32Z (GMT) No. of bitstreams: 1 2015_BrunoAlbuquerqueFurtado.pdf: 440622 bytes, checksum: 727538830e37d0f54a844e8ac3cb62da (MD5) / Made available in DSpace on 2015-05-27T12:25:32Z (GMT). No. of bitstreams: 1 2015_BrunoAlbuquerqueFurtado.pdf: 440622 bytes, checksum: 727538830e37d0f54a844e8ac3cb62da (MD5) / Propomos um modelo de escolha racional na presença de categorias. Dada uma categorização subjetiva do conjunto de alternativas inteiro, o agente, ao deparar-se com um problema de escolha, seleciona os melhores elementos disponíveis de cada categoria. O modelo explica certos desvios importantes do Axioma Fraco da Preferência Revelada, mas é plenamente caracterizado por outras propriedades observáveis do comportamento de escolha do agente. No caso mais geral, nossa representação generaliza a maximização de preferências incompletas. No caso particular em que as categorias são disjuntas, provamos que ela equivale à maximização de preferências incompletas acrescida de uma propriedade bastante intuitiva. / We propose a model of rational choice in the presence of categories. Given a subjective categorization of the choice set, the agent, when faced with a choice problem, picks the best elements available from each category. The model explains certain important deviations from the Weak Axiom of Revealed Preference, while being fully characterized by other observable properties of the agent’s choice behaviour. In the more general framework, our representation generalizes the maximization of incomplete preferences. For the specific case in which categories are disjoint, we prove that it is equivalent to the maximization of incomplete preferences plus a somewhat intuitive property.

O presente trabalho apresenta uma investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas a uma área específica da Ciência da Computação, a saber, animações computacionais baseadas em autômatos finitos com saída. As operações categoriais estudadas neste trabalho são: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animação Gráfica baseada em Autômatos finitos) foi o escolhido para ser utilizado como base desta dissertação. Inspirado nestes estudos, o trabalho contém uma proposta de como aplicar tais operações com o objetivo de definir animações aparentemente complexas, de forma simples, precisa e de fácil implementação. O enfoque está baseado em J. Stoy que diz que um dos objetivos para o uso da semântica formal de teoria das categorias é “sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes (“limpos”) e com descrições formais mais simples”. Entretanto, não é objetivo deste trabalho verificar se a utilização destas operações é ou não melhor do que a utilização de qualquer outra solução para criar novas animações. Esta dissertação traz uma nova versão do modelo AGA, denominada AGANd (Animação Gráfica baseada em Autômatos finitos Não determinísticos), sendo que o AGA utiliza apenas autômatos finitos determinísticos para criar os atores de uma animação. Com a utilização do AGANd obtém-se animações mais realistas e mais flexíveis. A aplicação destas operações se dá nos dois modelos, os resultados obtidos a partir de cada uma das operações sobre os mesmos são apresentados de forma detalhada e ilustrados com os autômatos resultantes no decorrer do trabalho. É apresentada uma sugestão de implementação para cada uma das operações, visando estender o protótipo já implementado do modelo AGA. Isso faz com que o leitor seja estimulado a aplicar estas e outras operações categoriais em novas animações baseadas ou não nos modelos apresentados, despertando até mesmo para seu uso em outras áreas da Ciência da Computação.

Um span em uma categoria é um par ordenado de morfismos dessa categoria, ambos com origem num mesmo objeto. O destino do primeiro morfismo é a origem do span e o destino do segundo morfismo é o destino do span. Spans, embora sejam uma estrutura bastante simples numa categoria e tenham uma definição também bastante simples, são versáteis, pois, com especializações sutis apresentadas aqui, são capazes de representar outras estruturas, tais como as tratadas nesses trabalho: relações binárias, multirrelações binárias, grafos e, em conjunto com um morfismo adicional, sistemas de transições etiquetadas (LTS). Permitem ainda, como proposto nesse trabalho, definir de forma também simples, redes de Petri como sendo um endospan em uma categoria. Mostra-se que a composição de spans aplicada a essas estruturas é capaz de expresar a composição de multirrelações — mas não de relações —, uma composição de grafos cujo grafo resultante indica caminhos em que cada parte é uma aresta de um dos grafos operados, uma composição de LTS cujo LTS resultante apresenta transações que podem ser compostas por transições de diferentes LTS e uma composição de redes de Petri cujo resultado também apresenta transações compostas por transições que podem ser realizadas em redes de Petri distintas. Mostra-se algumas propriedades dessas composições, bem como suas provas. Como verificar propriedades de relações e de grafos através de spans também é proposto.

Um span em uma categoria é um par ordenado de morfismos dessa categoria, ambos com origem num mesmo objeto. O destino do primeiro morfismo é a origem do span e o destino do segundo morfismo é o destino do span. Spans, embora sejam uma estrutura bastante simples numa categoria e tenham uma definição também bastante simples, são versáteis, pois, com especializações sutis apresentadas aqui, são capazes de representar outras estruturas, tais como as tratadas nesses trabalho: relações binárias, multirrelações binárias, grafos e, em conjunto com um morfismo adicional, sistemas de transições etiquetadas (LTS). Permitem ainda, como proposto nesse trabalho, definir de forma também simples, redes de Petri como sendo um endospan em uma categoria. Mostra-se que a composição de spans aplicada a essas estruturas é capaz de expresar a composição de multirrelações — mas não de relações —, uma composição de grafos cujo grafo resultante indica caminhos em que cada parte é uma aresta de um dos grafos operados, uma composição de LTS cujo LTS resultante apresenta transações que podem ser compostas por transições de diferentes LTS e uma composição de redes de Petri cujo resultado também apresenta transações compostas por transições que podem ser realizadas em redes de Petri distintas. Mostra-se algumas propriedades dessas composições, bem como suas provas. Como verificar propriedades de relações e de grafos através de spans também é proposto.

O presente trabalho apresenta uma investigação sobre algumas operações categoriais baseadas em grafos e a aplicação das mesmas a uma área específica da Ciência da Computação, a saber, animações computacionais baseadas em autômatos finitos com saída. As operações categoriais estudadas neste trabalho são: Produto, Coproduto, Soma Amalgamada e Produto Fibrado. O modelo AGA (Animação Gráfica baseada em Autômatos finitos) foi o escolhido para ser utilizado como base desta dissertação. Inspirado nestes estudos, o trabalho contém uma proposta de como aplicar tais operações com o objetivo de definir animações aparentemente complexas, de forma simples, precisa e de fácil implementação. O enfoque está baseado em J. Stoy que diz que um dos objetivos para o uso da semântica formal de teoria das categorias é “sugerir meios ou formas para o projetista desenvolver sistemas melhores, mais elegantes (“limpos”) e com descrições formais mais simples”. Entretanto, não é objetivo deste trabalho verificar se a utilização destas operações é ou não melhor do que a utilização de qualquer outra solução para criar novas animações. Esta dissertação traz uma nova versão do modelo AGA, denominada AGANd (Animação Gráfica baseada em Autômatos finitos Não determinísticos), sendo que o AGA utiliza apenas autômatos finitos determinísticos para criar os atores de uma animação. Com a utilização do AGANd obtém-se animações mais realistas e mais flexíveis. A aplicação destas operações se dá nos dois modelos, os resultados obtidos a partir de cada uma das operações sobre os mesmos são apresentados de forma detalhada e ilustrados com os autômatos resultantes no decorrer do trabalho. É apresentada uma sugestão de implementação para cada uma das operações, visando estender o protótipo já implementado do modelo AGA. Isso faz com que o leitor seja estimulado a aplicar estas e outras operações categoriais em novas animações baseadas ou não nos modelos apresentados, despertando até mesmo para seu uso em outras áreas da Ciência da Computação.