|entries|category-theory|