A category-theoretic approach to organization-based modeling of multi agent systems on the basis of collective phenomena and organizations in human societies