# Definition of "loader"

## loader

### noun

*plural*loaders

/ˈloʊdɚ/

### noun

*plural*loaders

### noun

*countable and uncountable*,*plural*adjunctions(category theory) Given a pair of categories C and D : an anti-parallel pair of functors F : C → D and G : D → C and a natural transformation η : id C → G F called “unit” such that for any object A ∈ C , for any object B ∈ D , and for any morphism f : A → G B , there is a unique morphism g : F A → B such that G g ∘ η A = f . (Note: there is another natural transformation called “counit” as well but its existence may be derived by theorem.) The pair of functors express a similarity between the pair of categories which is weaker than that of an equivalence of categories.