Dec 14, 2023 17:49
Под вечер сегодня приехал на работу, распечатал еще сто с гаком страниц в четырех статьях и одном корригендуме. Инсертеры, эквифайеры, инвертеры, изо-инсертеры (которые я уже по неграмотности начал называть в своих статьях изоморферами). Псевдопределы, слабые пределы, оп-слабые пределы, взвешенные бипределы. Австралийская теория категорий! Кажется, я уже почти понимаю определение взвешенного бипредела...