We introduce the concept of maximal orthogonal subcategories over artin algebras and orders, and develop higher Auslander-Reiten theory on them. Auslander-Reiten theory, especially the concept of almost split sequences and their existence theorem, is fundamental to study categories which appear in representation theory, for example, modules over artin algebras [ARS][GR][Ri], their functorially ...