timelets (
timelets
) wrote
2017
-
12
-
21
10:16 am
Entry tags:
category
,
monoid
,
poset
(no subject)
Допустим, я хочу построить штуку, которая реализует правило "больше - лучше."
Тогда мне нужен моноид с функцией добавления, посет и стрелка (value judgement) между ними.
f: + -> >
(
0 comments
)
Post a comment in response:
From:
Anonymous
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]