noun (common) (futsuumeishi) mathematics category theory