ATProto Browser

Record data

{
  "uri": "at://did:plc:7jy6uix2a4zqcurzoxpxok4m/app.bsky.feed.post/3lor65nwfxk2b",
  "cid": "bafyreic5zlhghrmioumem2c3z7orgff64iuz7dtifn4markbxr4aotaz6a",
  "value": {
    "text": "#MathSky lemma we proved in current WIP:\nGiven a 工 diagram (two horizontal short exact sequences, one vertical)\nwe can associate to it an exact sequence\nwhose splittings are 1:1 with extensions of 工 to a diagram 田, up to isom.\nNot splitting iff No extension.\n1/2",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 8,
          "byteStart": 0
        },
        "features": [
          {
            "tag": "MathSky",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      }
    ],
    "createdAt": "2025-05-09T19:32:35.373Z"
  }
}