Hayk Mirzayans Insect Museum offers training courses, and helps other scientific research centers in completion and maintenance of their insect collections. ITRD acts as the National Identification Service for governmental or non-governmental organizations, publishes various articles, reports, books, data banks and checklists of its holdings, and provides these information free of charge to all visitors. Hayk Mirzayans Insect Museum The Hayk Mirzayans Insect Museum (HMIM) is the largest insect collection in Iran with over 4 million insect specimens, including 20–25,000 local species, hundreds of primary types and paratypes, and a representative collection of exotic insects, especially tropical butterflies. In 1943, Iranian entomologist established a
Comma category difference between the two notions is that a natural transformation is a particular collection of morphisms of type of the form formula_182, while objects of the comma category contains "all" morphisms of type of such form. A functor to the comma category selects that particular collection of morphisms. This is described succinctly by an observation by Huq that a natural transformation formula_183, with formula_184, corresponds to a functor formula_185 which maps each object formula_8 to formula_187 and maps each morphism formula_188 to formula_16. This is a bijective correspondence between natural transformations formula_181 and functors formula_185 which are sections of both