Masaki Hara on Nostr: * がright adjointを持つ → colimitと可換 ...
* がright adjointを持つ → colimitと可換 なので、ベースのHeyting代数を表現定理を使ってprime filterのjoinで表している場合、 * はpointwiseに定義されたものだとみなせそうだなみたいなことを考えていた
Published at
2023-09-18 00:41:20Event JSON
{
"id": "aa39c05f34f9e979b48c066564c1192bcd0aca518ea31b43a1e1e5ff5e4e2415",
"pubkey": "73603c219bb6cec5c05ceb87967a6721f552fda9c3e2ce6835fae3a0bc5b529e",
"created_at": 1694997680,
"kind": 1,
"tags": [
[
"proxy",
"https://qnmd.info/users/qnighy/statuses/111083367975150032",
"activitypub"
]
],
"content": "* がright adjointを持つ → colimitと可換 なので、ベースのHeyting代数を表現定理を使ってprime filterのjoinで表している場合、 * はpointwiseに定義されたものだとみなせそうだなみたいなことを考えていた",
"sig": "3487437d106bf32eace77a531d12161aa58640f215c2395926e4e34bb543f48287e00e216fafcf918ac13a7639f5847f2a403e22fc45b25ab48341a85d50497b"
}
