Skip to content

basis

NaNdi
Apr 24, 20261 min read

ttps://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

Did you enjoy this article?

Recommend it — Standard Reader surfaces well-loved writing to more readers across the network.

Across the AtmosphereDiscussions