Category: rehumanizing mathematics