Codomain Common

differentiable identity function image positive measure flabby injection codomains function preimage onto generalized element dianalytic morse theory functor graph measurable function coequalizer identity morphism equalizer domain on embed subobject classifier endofunction borel measurable subset classifier suspension real valued inclusion function kernel complex measure pullback adjoint functor sieve

ain iain jain nain hain rain vain lain gain fain sain main kain wain zain dain tain bain pain cain