https://deer.social/profile/did:plc:ngokl2gnmpbvuvrfckja3g7p/post/3mk4gz4itik2r

title: "Lexicons - AT Protocol Docs - AT Protocol"
image: "https://atproto.com/default-social-card.png"
description: "A schema-driven interoperability framework"
url: "https://atproto.com/guides/lexicon"
favicon: ""
aspectRatio: "52.5"

basis

ideas

categories are separated by "type" of morphism in order to get categories we need to "bucket" morphisms types derived by morphisms yoneda lemma

endofunctors: are collections endofunctors? are type constructors functors?

questions

how does an object being a morphism relate how would functors work

atproto ontology of links

examples

atproto app

youtube video

project website

research paper

existing semble card types

software research article link audio video social event book

extraction

given an article fill template what is article about relevant links

relations

blog->yotube not from types, what is the operation? derive the outgoing types? look for link domains in article? article->article similar article shares author

list of morphisms