text: Объекты в теории категорий можно нестрого представлять как множества, снабжённые структурой, свойства которых не задаются дополнительно к базовому множеству, а включены изначально в определение объекта, так что изоморфные объекты не различаются по своим свойствам.