Удивительно, но бесконечно-большие и бесконечно малые связаны через 1/х.
И стоит определить что значит в ваших терминах бесконечность, бесконечность плюс 1 и больше.
Так и аксиоматика уже не Пеано, а Пеано+.
Классически приводятся аксиомы групп, так как существуют неизоморфные группы. Но кмк аксиоматика это не совсем то, что подразумеваяется под термином явление, для моделей которого мы обсуждаем изоморфизм или отсутсвие такового.
Если мне не изменяет память, то, с учетом аксиом поля, порядка, дедекинда и архимеда, действительные числа единственные, до изоморфизма. Чтобы сделать что-то новое, нужно от каких-то аксиом отказаться.
Это я перепута, прочитал то что хотел.
Тем не менее, развивая мысль.
Если модель отражает не все признаки явления, то она ему не эквивалентна, а значит вопрос о транзитивности просто не стоит. Однако можно сделать факторизацию через проекцию на отражаемые признаки.
С изоморфизмом сначала стоит определить, что мы будем им считать, и только после этого мы сможем понять есть он или его нет.
Явление является моделью самого себя. Если модель ведет себя как явление, то явление ведет себя как модель. Так что диагональность и коммутативность вроде бы есть. Остался вопрос с транзитивностью. Которая, опять же, получается через явление.
Если минусанувшим не лень, объясните за что.
Мне кажется, что я понятно ответил на вопрос: «почему List<T> не может содержать null?».
К сожалению при наборе потерял <T>, возможно это послужило причиной недопонимания.
Как всегда ответы на некоторые из вопросов лежат не в Java а в теории категорий. null не хранится в List потому что null не принадлежит T. А List должен быть функтором. В качестве альтернативы, при необходимости, может быть использовано List<Option>.
Стоит, потому что если вы знаете про что-то, что оно монада, то вы сразу знаете, что там есть fmap, bind, join, return, аппликативное применение. Вы сразу знаете что можете комбинировать стелки Клейсли и при этом получать ожидаемый результат. И это знание даётся вам почти даром, если конечно вы знаете что такое монады.
А вы пропустили самое интересное — как делать композицию вычислений, возвращающих Result.
В фуге копроизведение, а хочется монаду. Впрочем без do нотации это будет весьма ограниченно. Без частичного применения некрасиво, могут спасти лямбды, но всё равно некрасиво. Ещё про замыкания забыл, не знаю что с ними в джаве.
Я имел в виду Вас лично. Почему этого нет в экосистеме? Думаю потому, что не приспособленный синтаксис и высокий порог входа. Есть SkalaZ, но его синтаксис я вообще не знаю.
И стоит определить что значит в ваших терминах бесконечность, бесконечность плюс 1 и больше.
Классически приводятся аксиомы групп, так как существуют неизоморфные группы. Но кмк аксиоматика это не совсем то, что подразумеваяется под термином явление, для моделей которого мы обсуждаем изоморфизм или отсутсвие такового.
Тем не менее, развивая мысль.
Если модель отражает не все признаки явления, то она ему не эквивалентна, а значит вопрос о транзитивности просто не стоит. Однако можно сделать факторизацию через проекцию на отражаемые признаки.
С изоморфизмом сначала стоит определить, что мы будем им считать, и только после этого мы сможем понять есть он или его нет.
Мне кажется, что я понятно ответил на вопрос: «почему List<T> не может содержать null?».
К сожалению при наборе потерял <T>, возможно это послужило причиной недопонимания.
А вы пропустили самое интересное — как делать композицию вычислений, возвращающих Result.