{
  "path": "/mocgjzuh3z5w4v",
  "site": "at://did:plc:ngokl2gnmpbvuvrfckja3g7p/site.standard.publication/3m3frizuz2c2v",
  "$type": "site.standard.document",
  "title": "basis",
  "content": {
    "$type": "pub.leaflet.content",
    "pages": [
      {
        "id": "page:0",
        "$type": "pub.leaflet.pages.linearDocument",
        "blocks": [
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "https://deer.social/profile/did:plc:ngokl2gnmpbvuvrfckja3g7p/post/3mk4gz4itik2r"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.code",
              "language": "embed",
              "plaintext": "title: \"Lexicons - AT Protocol Docs - AT Protocol\"\nimage: \"https://atproto.com/default-social-card.png\"\ndescription: \"A schema-driven interoperability framework\"\nurl: \"https://atproto.com/guides/lexicon\"\nfavicon: \"\"\naspectRatio: \"52.5\""
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 1,
              "plaintext": "basis"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.unorderedList",
              "children": [
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "connections are actually the thing that defines the collections"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "connections are morphisms"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "collections are categories"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "cards are objects"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "functors that map between categories"
                    }
                  }
                }
              ]
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 1,
              "plaintext": "ideas"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "categories are separated by \"type\" of morphism\nin order to get categories we need to \"bucket\" morphisms\ntypes derived by morphisms yoneda lemma"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "src": "yoneda lemma",
              "$type": "pub.leaflet.blocks.image",
              "title": "yoneda lemma"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "endofunctors: are collections endofunctors?\nare type constructors functors?"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 1,
              "plaintext": "questions"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "how does an object being a morphism relate\nhow would functors work"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.unorderedList",
              "children": [
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "define as least two example categories"
                    }
                  }
                }
              ]
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 1,
              "plaintext": "atproto ontology of links"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.unorderedList",
              "children": [
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "[] how to build lexicons"
                    }
                  }
                }
              ]
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 2,
              "plaintext": "examples"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.unorderedList",
              "children": [
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "category github"
                    }
                  }
                }
              ]
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "atproto app"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.unorderedList",
              "children": [
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "github"
                    }
                  }
                }
              ]
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "youtube video"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "project website"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "research paper"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 1,
              "plaintext": "existing semble card types"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "software\nresearch\narticle\nlink\naudio\nvideo\nsocial\nevent\nbook"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 1,
              "plaintext": "extraction"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "given an article fill template\nwhat is article about\nrelevant links"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 1,
              "plaintext": "relations"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.text",
              "plaintext": "blog->yotube\nnot from\ntypes, what is the operation?\nderive the outgoing types?\nlook for link domains in article?\narticle->article\nsimilar article\nshares author"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.header",
              "level": 1,
              "plaintext": "list of morphisms"
            }
          },
          {
            "$type": "pub.leaflet.pages.linearDocument#block",
            "block": {
              "$type": "pub.leaflet.blocks.unorderedList",
              "children": [
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "Related"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "Supports"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "Opposes"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "Addresses"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "Helpful"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "Leads to"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "Explainer"
                    }
                  }
                },
                {
                  "$type": "pub.leaflet.blocks.unorderedList#listItem",
                  "content": {
                    "$type": "pub.leaflet.pages.linearDocument#block",
                    "block": {
                      "$type": "pub.leaflet.blocks.text",
                      "plaintext": "Supplement"
                    }
                  }
                }
              ]
            }
          }
        ]
      }
    ]
  },
  "updatedAt": "2026-04-24T05:17:09.360Z",
  "publishedAt": "2026-04-24T05:17:09.349Z"
}