From: | measure_01 |
Date: | February 4th, 2011 - 06:59 pm |
---|
| | Re: настоящая алгебра через координаты | (Link) |
|
Ну она немного странная. С одной стороны категории есть, с другой — где надо не используются. Например, могли бы написать про теорему Кэйли как частный случай леммы Ионеды. Или теоремы про изоморфизмы вывести через свойства универсалов. Хотя я листал достаточно невнимательно, может что-то упускаю.