basis
NaNdi
April 24, 2026
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
Discussion in the ATmosphere