Event JSON
{
"id": "41df81ff81e4a12f5fc19e6a643da86b15c595a27b193e4f237642f4cf76cce5",
"pubkey": "1a763e5813c4d1f8acd2bd8e9406175074961904dfb3cf70b3cb64d3c64e37c4",
"created_at": 1719754129,
"kind": 1,
"tags": [
[
"p",
"b114a88b18a834569d6fde6ac4538e3edcf21b3cb490c16ae557fa09e6637f65",
"wss://relay.mostr.pub"
],
[
"p",
"a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"wss://relay.mostr.pub"
],
[
"e",
"59c507a1cd14e5d3903d1a76661767a095e07ab553962df7dcc5cca02459d3d0",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/vez/statuses/112705806598415896",
"activitypub"
]
],
"content": "nostr:npub1ky223zcc4q69d8t0me4vg5uw8mw0yxeukjgvz6h92laqnenr0ajs5rghvc I'm a novice, but when I looked into it my conclusion was that ↣ is a monomorphism and↠is an epimorphism. Hook arrow is specifically for inclusions.",
"sig": "cd4181c2acc356082377ca22fd4c660ac24fe8c7bd6ced05ce99cf8b3b7a2ae238dfd8b60832438ddebd8deb12a5cee4384128a039c1b89da1456d3ef6d48dcb"
}
