Товарищи из encompass так вообще могли вернуть ошибку при отправке многих запросов, потому что обработчики запросов не могли одновременно записать в лог что-то
итог: фундамент в виде Boost/Preprocessor оказался ненадёжным, вследствие чего я решил немого охладить трахание и написать сначала метаязык, а уже потом библиотеку для типизации. об этом и мои опусы последние
Ты можешь понимать алгебру как категорию, и тогда ты видишь аналогии между базовыми понятиями. Например, фактор-группа и фактор-множество это одно и то же, просто в разных категориях.
Ну в общем случае нужно подробно описывать дополнительную структуру, когда же частично упорядоченное множество это просто категория с единственной стрелкой между любыми двумя объектами.
Ну в общем случае нужно подробно описывать дополнительную структуру, когда же частично упорядоченное множество это просто категория с единственной стрелкой между любыми двумя объектами.
Ну в общем случае нужно подробно описывать дополнительную структуру, когда же частично упорядоченное множество это просто категория с единственной стрелкой между любыми двумя объектами.
кстати, а ты видел структурированное объяснение теории порядков? я из википедии дыбал информацию, очень неудобно