Portuguese-English dictionary »

travar meaning in English

PortugueseEnglish
travar verb

brake [braked, braking, brakes](to operate brakes)
verb
[UK: breɪk] [US: ˈbreɪk]

crash [crashed, crashing, crashes](computing: to terminate unexpectedly)
verb
[UK: kræʃ] [US: ˈkræʃ]

freeze up(computing)
verb

hang [hung, hung, hanging, hangs](computing: to stop responding)
verb
[UK: hæŋ] [US: ˈhæŋ]

lock up(of a computer: to cease responding)
verb
[UK: lɒk ʌp] [US: ˈlɑːk ʌp]

wage [waged, waging, wages](to conduct or carry out)
verb
[UK: weɪdʒ] [US: ˈweɪdʒ]

contravariante adjective

contravariant(which reverses composition)
adjective

contravariância noun
{f}

contravariance(reversal of the order of data types acted upon by an operator)
noun

destravar verb

unlock [unlocked, unlocking, unlocks](give access to something)
verb
[UK: ʌn.ˈlɒk] [US: ʌn.ˈlɑːk]

entravar verb

hinder [hindered, hindering, hinders](to keep back; to delay or impede)
verb
[UK: ˈhɪn.də(r)] [US: ˈhɪn.dər]

functor/funtor contravariante noun
{m}

contravariant functor(category theory: functor)
noun