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 by Lawvere, which involved the comma punctuation mark. Although standard notation has changed, since the use of a comma as an operator is potentially confusing, and even Lawvere dislikes the uninformative term "comma category" (Lawvere, 1963 p. 13), the name persists. The most general comma category construction involves two functors with the same codomain. Often one of these will have domain 1 (the one-object one-morphism category). Some accounts of category theory consider only these special cases, but the term comma category is actually much more general. Suppose that formula_1, formula_2, and formula_3 are categories, and formula_4 and formula_5 (for source