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 functors out of the product category formula_97. For each comma category there are forgetful functors from it. Several interesting categories have a natural definition in terms of comma categories. Limits and colimits in comma categories may be "inherited". If formula_1 and formula_2 are complete, formula_145 is a continuous, and formula_146 is another functor (not necessarily continuous), then the comma category formula_6 produced is complete , and the projection functors formula_148 and formula_149 are continuous. Similarly, if formula_1 and formula_2 are cocomplete, and formula_152 is cocontinuous, then formula_6 is cocomplete, and the projection functors are cocontinuous. For example, note that in