direct product
coterminal
sieve
functor category
multicategory
diagonal morphism
identity morphism
universal property
Ob
abstract
bicategory
slice category
fingerprint
subobject classifier
template
functor
small category
hom-set
allegory
identity functor
object
comorphism
balanced category
adjunction
group object
reclassification
axiomization
direct system
boxing
projection
third-class entity
third-class value
assignment
third-class citizen
dual
decategorification
diagram
archetypal
cohomology
quasivariety
archetypical
prototypal
prototypic
prototypical
abstraction
automorphism
objectization
prototype pattern
formal parameter
amorphia
pacesetter
regular map
gradual typing
genericized trademark
exception
pacemaker
abstract term
classifying morphism
behavioral subtyping
inverse system
pleomorphism
Yoneda functor
bag
name binding
smoothness
bicartesian closed category
faithful
tricategory
phenome
prime implicant
isogenetic
templatize
extriangulated
categorial
form class
iso-
Kan extension
hyperproperty
proprietary eponym
axiom of choice
categorized
many-sorted logic
form genus
differentiable
monomorphism
Gowers norm
sort
dimension
discrete category
hierarchy
fibre
duck typing
global element
generic element
retopology
Yoneda lemma
family
opmonoidal

English words for 'A high-level generalization of the preceding that applies to objects in an arbitrary category and produces a new object constructable by morphisms from each of the original objects.'

As you may have noticed, above you will find words for "A high-level generalization of the preceding that applies to objects in an arbitrary category and produces a new object constructable by morphisms from each of the original objects.". 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