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 with domain formula_65" in. An object of formula_78 is called a "morphism from formula_4 to formula_80" or a "formula_4-costructured arrow with codomain formula_80" in. Another special case occurs when both formula_4 and formula_5 are functors with domain 1. If formula_85 and formula_86, then the comma category formula_6, written formula_88, is the discrete category whose objects are morphisms from formula_8 to formula_10. An inserter category is a (non-full) subcategory of the comma category where formula_91 and formula_92 are required. The comma category can also be seen as the inserter of formula_93 and formula_94, where formula_95 and formula_96 are the two projection