Структуры, переносимость, универсальные отображения

[JMH]

Четвёртая глава "Теории множеств" Бурбаки посвящена структурам; обсуждаются инициальные (там они названы начальными), финальные структуры, переносимость структур, а также универсальные множества и отображения. Сейчас этот материал переместился в теорию категорий, но, по моему скромному мнению, некоторые интересные моменты, например сравнение структур, оказались "за скобками". Пытался искать русско- и англоязычную литературу по вышеупомянутому, но не преуспел. Буду очень признателен за любые ссылки.

[apriv]

Теорию структур Бурбаки совершенно невозможно использовать (и никто, в общем-то, ее и не использовал), по сравнению с естественной и простой теорией категорий; поэтому ее изучение может представлять лишь исторический интерес. Какой-то кусок остался в математической логике (откуда, в общем-то, его и взял Бурбаки), там про сравнение структур любят говорить. С другой стороны, теория категорий не говорит напрямую о структурах, а если хочется примерный аналог «сравнения» — можно говорить о забывающих (строгих) функторах. Посмотрите еще http://www.tau.ac.il/~corry/publication ... ctures.pdf — там вроде бы есть про это.