Size: a a a

2020 August 02

AP

Artem Pelenitsyn in Haskell
A64m AL256m qn I0
в кольце ноль должен быть, а единицы нет же. потому говорят кольцо с "единицей"
Да, именно так
источник

DB

Danil Berestov in Haskell
Andrey
а эти сложения/умножения - это же тупо значки?
Ну поэтому «сложение» и «умножение» в кавычках
источник

к

кана in Haskell
окей, вижу такое в первый раз, на вики и нкатлабе (и в книгах что я читал) всегда был моноид
источник

DB

Danil Berestov in Haskell
Моноид по сложению
источник

к

кана in Haskell
по сложению именно группа, а не просто моноид
источник

к

кана in Haskell
моноид только в случае полукольца
источник

DB

Danil Berestov in Haskell
кана
по сложению именно группа, а не просто моноид
А, сори, действительно
источник

JS

Jerzy Syrowiecki in Haskell
Andrey
а эти сложения/умножения - это же тупо значки?
две каких-то выбранных функции
источник

JS

Jerzy Syrowiecki in Haskell
не тупо значки
источник

к

кана in Haskell
не обязательно и выбранные, это действительно тупо значки в этой «лингвистической» формальной системе, смысл которых (кроме аксиом) уже задается конкретным интерпретатором какого-нибудь кольца
источник

NI

Nick Ivanych in Haskell
кана
окей, вижу такое в первый раз, на вики и нкатлабе (и в книгах что я читал) всегда был моноид
источник

к

кана in Haskell
источник

KZ

Kirill Zaborsky in Haskell
ну Ring != Rng
источник

χλ

χоρоший ☽☽☽ λисuчко... in Haskell
Kirill Zaborsky
ну Ring != Rng
Русское национальное государство?
источник

AF

Alexey Fedotov in Haskell
random number generator
источник

KZ

Kirill Zaborsky in Haskell
в статье всё сказано
источник

AP

Artem Pelenitsyn in Haskell
Kirill Zaborsky
в статье всё сказано
Всё верно:
> As explained in § History below, many authors follow an alternative convention in which a ring is not defined to have a multiplicative identity. 
источник

NI

Nick Ivanych in Haskell
Нас вообще учили, что бывают ассоциативные кольца и с единицей.
источник

DB

Danil Berestov in Haskell
Ну во крайней мере во всех русскоязычных учебниках, что я видел, в кольце нет единицы.
источник

DB

Danil Berestov in Haskell
Вообще странно, что о таких вещах договориться не могут
источник