Construções categóricas intervalares em Haskell

• Main Author: Longo Araújo, Stenio
• Other Authors: Melo Acióly, Benedito
• Language: Portuguese
• Published: Universidade Federal de Pernambuco 2014
• Subjects: Linguagens Funcionais; Haskell; Lambda Cálculo; Teoria das Categorias; Domínios lntervalares
• Online Access: https://repositorio.ufpe.br/handle/123456789/2602

Made available in DSpace on 2014-06-12T15:59:35Z (GMT). No. of bitstreams: 2 arquivo5187_1.pdf: 772703 bytes, checksum: 4e26836d89a94b44e061ba19cd085a7a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 === A teoria das categorias é um ramo relativamente novo da investigação matemática. A idéia básica reside na observação de que diversas áreas da matemática envolvem o estudo ele objetos e mapeamentos entre estes objetos, por exemplo, conjuntos e funções, domínios intervalares e funções contínuas. Tal uniformidade de estrutura pode ser explorada livrando¬-se dos detalhes internos dos objetos, e focalizando-se somente nas funções e nos meios ele combiná-las. Motivados pelo caráter construtivo da teoria das categorias, neste trabalho tem-se como objetivo implementar construções categóricas intervalares através de progra¬mas em H askell