RYK公理系– category –