adjunção
Sign in to saveAlso known as adjoint functors, adjunction, left adjunction, right adjunction
relationship that two functors may have
Wikidata facts
- Subclass of
- ordered pair
Show 4 more facts
- TeX string
- \dashv
- studied by
- category theory
- Stack Exchange tag
- mathoverflow.net/tags/adjoint-functors
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Português
Na teoria das categorias, uma adjunção é uma tripla consistindo de dois functores , e uma família de isomorfismos natural em ; a condição de naturalidade é expressa por para cada , e , ou equivalentemente por para cada , e . Nesse caso, é dito adjunto esquerdo a , e é dito adjunto direito a , e escreve-se . Segundo Saunders Mac Lane, "functores adjuntos são onipresentes". Com efeito, vários conceitos da matemática, como grupos livres, corpo de quocientes e completação de espaços métricos são casos particulares do conceito de adjunção.
Abstract from DBpedia / Wikipedia · CC BY-SA