dependent map

[/dɪˈpɛndənt mæp/]
nounpl: dependent maps
mapa dependente
1. In mathematics and computer science, a function or mapping where the output type depends on the value of the input, commonly used in type theory and functional programming
A dependent map allows the codomain to vary based on the elements of the domain.
Um mapa dependente permite que o contradomínio varie baseado nos elementos do domínio.
2. In category theory, a morphism where the target object is determined by the source object in a dependent manner
The dependent map structure is essential for understanding fibrations in algebraic topology.
A estrutura de mapa dependente é essencial para compreender fibrações em topologia algébrica.
This is highly specialized mathematical and computer science terminology used primarily in academic research and advanced programming contexts. It is language-agnostic and maintained consistently across English and Portuguese mathematical literature.
Synonyms / Sinônimos
dependent functiondependent typefibrationpi type
Antonyms / Antônimos
independent mapsimple functionnon-dependent function

Regional Variations

General Brazilian
mapa dependente
Standard mathematical terminology used in academic contexts
Portugal
mapa dependente
Same terminology used in Portuguese mathematics and computer science
USA/International
dependent map
Technical term primarily used in academic and research settings

Related Words

type theoryfunctional programmingcategory theorymorphismdomaincodomain

Related Idioms & Phrases

dependent map structure
type-dependent mapping
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →