  An elementary theory of strict $\infty $-categories with application to
concrete duality is given. All known famous dualities (Gelfand-Naimark,
Pontryagin, Stone, etc.) are so-called natural. A criterion of existence of
such a duality for higher categories is formulated. New examples are presented.
