functor

(redirected from Contravariant functor)
Also found in: Encyclopedia.
Related to Contravariant functor: Bifunctor

func·tor

(fŭngk′tər)
n.
1. One that performs an operation or a function.
2. Grammar See function word.

[New Latin fūnctor, from Latin fūnctiō, performance, function; see function.]
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

functor

(ˈfʌŋktə)
n
1. (Grammar) (in grammar) a function word or form word
2. (Mathematics) (in mathematics) a function that maps elements of one set to those of another
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

func•tor

(ˈfʌŋk tər)

n.
that which functions; operator.
[1935–40]
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
Translations
Funktor
funktori
funktor
funktor
funktor
Mentioned in ?
References in periodicals archive ?
We show that for any strong order enriched monad T we have that T is a double exponential monad [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] provided (i) A is a T-algebra, (ii) [A.sup.X] exists weakly and is given by categorical tensor; and, (iii) the contravariant functor C(_, A) is fully faithful.
An involution on a category C is a contravariant functor from C to itself of period two.
As usual, we write [sup.[disjunction]] for the contravariant functor Hom(-, R).

Full browser ?