Functor

Na matemática, mais precisamente teoria das categorias, um functor ou funtor[1] é um mapeamento entre categorias, preservando domínios, contradomínios, identidades e composições, analogamente a como, por exemplo, um homomorfismo de grupos preserva o elemento neutro e a operação do grupo.

Segundo Saunders Mac Lane, o conceito de functor foi, pela primeira vez, reconhecido na topologia algébrica, no estudo de grupos de homologia.[2]

  1. Português à letra. «Functor ou Funtor». Consultado em 30 de março de 2020 
  2. Erro de citação: Etiqueta <ref> inválida; não foi fornecido texto para as refs de nome maclaneDef

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by razib.in