basis

NaNdi April 24, 2026
Source

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

Discussion in the ATmosphere

Loading comments...