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 exists. Lawvere showed that the functors formula_169 and formula_170 are adjoint if and only if the comma categories formula_171 and formula_172, with formula_173 and formula_174 the identity functors on formula_175 and formula_3 respectively, are isomorphic, and equivalent elements in the comma category can be projected onto the same element of formula_177. This allows adjunctions to be described without involving sets, and was in fact the original motivation for introducing comma categories. If the domains of formula_178 are equal, then the diagram which defines morphisms in formula_179 with formula_180 is identical to the diagram which defines a natural transformation formula_181. The