(original) (raw)

image/svg+xml A B = F[A] F(x) F : A → B x