Jean Abou Samra (new account) on Nostr: nLab doesn't require CwFs to have a terminal object. Is there any use for this ...
nLab doesn't require CwFs to have a terminal object. Is there any use for this generality?
Published at
2026-02-09 12:25:22 UTCEvent JSON
{
"id": "fd2a8f4f16e8981fec8e6c37333368cc3f8f558be75797e0c6fb9a732ef11cc8",
"pubkey": "a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at": 1770639922,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/116040657980549210",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nLab doesn't require CwFs to have a terminal object. Is there any use for this generality?",
"sig": "03776fbdd7d68dce79e6508c2de42e2be90c8a310363b21066d6492cbb6ec0220c3c10f1176bced4b56e3df93c9ca33d1356cc533a27ede8084ee0e5557eeb33"
}
