Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:
Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT
Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:
- πώς χρησιμοποιείται η λέξη
- συχνότητα χρήσης
- χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
- επιλογές μετάφρασης λέξεων
- παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
- ετυμολογία
two-place functor - translation to ρωσικά
PREDICATE THAT TAKES ONLY INDIVIDUAL(S) CONSTANTS OR VARIABLES AS ARGUMENT(S)
One-place predicate; Two-place predicate
two-place functor
математика
двуместный функтор
covariant functor
IN CATEGORY THEORY, A MAPPING BETWEEN CATEGORIES THAT PRESERVES THEIR STRUCTURE (IDENTITY MORPHISMS, COMPOSITION OF MORPHISMS)
Covariant functor; Contravariant functor; Cofunctor; Functorial; Functors; Functoriality; Endofunctor; Bifunctor; Covariance and contravariance of functors; Identity functor; Multifunctor; Functor (category theory); Covariance (categories); Opposite functor; Constant functor; Selection functor; Category homomorphism; Dual functor; Covariance and contravariance (category theory)
математика
ковариантный функтор
bifunctor
IN CATEGORY THEORY, A MAPPING BETWEEN CATEGORIES THAT PRESERVES THEIR STRUCTURE (IDENTITY MORPHISMS, COMPOSITION OF MORPHISMS)
Covariant functor; Contravariant functor; Cofunctor; Functorial; Functors; Functoriality; Endofunctor; Bifunctor; Covariance and contravariance of functors; Identity functor; Multifunctor; Functor (category theory); Covariance (categories); Opposite functor; Constant functor; Selection functor; Category homomorphism; Dual functor; Covariance and contravariance (category theory)
математика
бифунктор
двуместный функтор
Ορισμός
functor
In category theory, a functor F is an operator on types. F
is also considered to be a polymorphic operator on functions
with the type
F : (a -> b) -> (F a -> F b).
Functors are a generalisation of the function "map". The
type operator in this case takes a type T and returns type
"list of T". The map function takes a function and applies it
to each element of a list.
(1995-02-07)
Βικιπαίδεια
First-order predicate
In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.
This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example, the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate.
