Functor

full and faithful functor six operations Lie group–Lie algebra correspondence derived functor additive functor adjoint functor exact functor representable functor direct image functor fibered category group functor Hom functor inverse image functor size functor smooth functor diagram Tor functor