Category where every morphism is invertible; generalization of a group.