functor
identity functor
functor category
quasivariety
direct system
bicategory
Yoneda functor
generic class
inverse system
coterminal
type class
slice category
polymorphism
callable
object-oriented programming
gradual typing
extend
Hindley-Milner type system
strongly-typed
quintessence
template
diophantine geometry
faithful
identity morphism
regular map
typical
generics
metatype
direct product
subset classifier
Haskell
member function
generalized element
object
principal part
representable functor
small category
discrete category
projection
endofunctor
representation theory
sieve
hom-set
type
class-based
Yoneda lemma
formal parameter
axiomatic system
allegory
subobject classifier
algebraic subvariety
presheaf
group object
abstract factory class
multicategory
realm
topologized
polymorphic
axiom system
relevance logic
formal system
type system
prototype-oriented programming
valuation function
universal property
geon
module pattern
subinterface
ad-hoc polymorphism
monoidal category
plethysm
block design
semigroupoid
genericize
formation
composite reuse principle
typeful
catamorphism
root system
bicartesian closed category
differentiable
tacit programming
many-sorted logic
theory
commutative algebra
topological
faithful functor
amorphia
scheme
statically-typed
templatically
bridge pattern
diagram
nominative type system
gerbe
adjunction
factory method pattern
par excellence
predicate logic

English words for 'A structure allowing a function to apply within a generic type, in a way that is conceptually similar to a functor in category theory.'

As you may have noticed, above you will find words for "A structure allowing a function to apply within a generic type, in a way that is conceptually similar to a functor in category theory.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries