В терминологии теории высших категорий
Dec. 17th, 2023 01:42 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
префикс "2-" означает строгие (strict) конструкции, префикс "би-" -- расслабленные, префикс "псевдо-" -- промежуточные. 2-категории строги, бикатегории расслаблены. Слишком строгие конструкции могут давать неправильные, плохо себя ведущие ответы, а со слишком расслабленными сложнее работать, там много данных. Поэтому "2-предел" -- это часто не то, что нужно; "бипредел" в полной общности -- нечто сложное; "псевдопредел" -- компромиссное решение.