nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) My personal research agenda right now is "ML module systems are great, ML module systems can be thought of as 'module systems for the cartesian closed doctrine', what happens if we look at module systems for other doctrines of categorical algebra???"
The three question marks indicate the missing step 2 between
1. Look at module systems for other doctrines.
2. ???
3. Profit.
Owen Lynch
npub1cj…fxs07
2025-10-01 15:56:25 UTC
in reply to nevent1q…s5lj
Author Public Key
npub1cjyyl7y66997ewku92pzvvhkyec43k7cde44rhgayxdwwl63axdqafxs07Seen on
wss://relay.ditto.pubPublished at
2025-10-01 15:56:25 UTCEvent JSON
{
"id": "69c1e5f6d1aaafbcb9ad8a1ec1f8768b5015e7338214c3be7afaf7dc71e6fb0e",
"pubkey": "c4884ff89ad14becbadc2a822632f6267158dbd86e6b51dd1d219ae77f51e99a",
"created_at": 1759334185,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"e",
"b3135839a819d1bd4545cdce2b8f7087a82202a5e11418258cc923ed5e0165a8",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/olynch/statuses/115299725196735176",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 My personal research agenda right now is \"ML module systems are great, ML module systems can be thought of as 'module systems for the cartesian closed doctrine', what happens if we look at module systems for other doctrines of categorical algebra???\"\n\nThe three question marks indicate the missing step 2 between\n\n1. Look at module systems for other doctrines.\n2. ???\n3. Profit.",
"sig": "4f404b0fc18d6ff431c164b1c5a43c99e6a0e14f5953a5b49e7f085e2e2cba549e2f2995e0e7077b521158eaa26b16d7376b96f71b6255f525b1ac5f9a887d1b"
}