home » context search » compose

Search within these results

abelian
adjoint
argument
artifact
asserts
bifunctor
branches
cartesian
category
classes
commutative
commutativity
commutes
compose
contravariant
covariant
currying
define
definition
diagram
embedding
equivalently
every
exact
ext
faithful
fixing
follows
formal
function
functor
gives
hom
implies
left
lemma
locally
maps
mathematics
mod
module
morphism
natural
naturally
object
observes
obviously
opposite
pair
paths
projective
properties
referring
representable
ring
rise
send
sets
tensor
transformation
yoneda

Matching Pages (1 found; page 1 of 1)

Hom functor - Wikipedia

Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom functors give rise to a full...