Event JSON
{
"id": "12d76abd359068f5474ac45fb99d043abb0431eee3bf107ffc0954a484319b7d",
"pubkey": "6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b",
"created_at": 1730874823,
"kind": 1,
"tags": [
[
"e",
"fe7ac3de6ca7ad9f36c445d3a52fd79186233975b720d3c66996e0c28dd56f12",
"",
"reply",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"e",
"3e0e19d6a6c59635194515407e347b70b64cf88b5a087fd66882788641a67e33",
"",
"root",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@highergeometer/113434612410026361",
"web"
],
[
"p",
"6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b"
],
[
"proxy",
"https://mathstodon.xyz/users/highergeometer/statuses/113434612410026361",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/highergeometer/statuses/113434612410026361",
"pink.momostr"
],
[
"-"
]
],
"content": "I agree I'd like to ultimately say just \"2-fibration\", because at the end I want to compute the homotopy fibre using the strict fibre, and thereby show the homotopy fibres are 1-types not 2-types",
"sig": "267540ba569e09bbb336f755285d948ae53bef8c50316926365a116ca627709fe62782e9c9c11d547e03755283e13242e0236b199fb199d93e09fd100e183b59"
}
