2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2, 3
 
 Re: Вывод формулы для возведения в рациональную степень.
Сообщение26.09.2022, 12:05 
mihaild в сообщении #1565430 писал(а):
И теория категорий здесь кажется нужна разве что чтобы его сформулировать и сэкономить 2 строчки на каждую структуру.
В принципе да. Но ведь не всегда стрелка - это функция. И изоморфизм в этой теореме понимается в категорном смысле (как обратимая стрелка). Поэтому гипотетически, если рассмотреть какую-нибудь хитрую категорию, где стрелками будут не просто функции, а, например, классы функций и хитро интерпретируемый изоморфизм, то я уже не уверен, будет ли "некатегорное" утверждение очевидным. Но в целом, так и есть. Даже я, только по сути начав читать теорию категорий, уже видел там много вещей, которые экономят гораздо больше строчек.

 
 
 [ Сообщений: 31 ]  На страницу Пред.  1, 2, 3


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group