[PDF] Functorial data migration | Semantic Scholar
www.semanticscholar.org/paper/Functorial-data-migration-Spivak/cf47e45de46ee257fff387a360be5c372e8977b4
Aug 11, 2026
2
[PDF] Knowledge Representation in Bicategories of Relations | Semantic Scholar
www.semanticscholar.org/paper/Knowledge-Representation-in-Bicategories-of-Patterson/c68b6660d856143a4e0120c846d1eb0632bd473e
Aug 11, 2026
1
[PDF] Ologs: A Categorical Framework for Knowledge Representation | Semantic Scholar
www.semanticscholar.org/paper/Ologs%3A-A-Categorical-Framework-for-Knowledge-Spivak/ce9f9b7e4c077a30a32a9b3b0379f011056ba29a?sort=total-citations&page=2
Aug 11, 2026
1
e/tikz.e (htmlized)
anggtwu.net/e/tikz.e.html
Aug 11, 2026
1
The truly scary smart : r/slatestarcodex
www.reddit.com/r/slatestarcodex/comments/znn1nt/the_truly_scary_smart/?sort=top
Aug 11, 2026
1
1102.1889
arxiv.org/pdf/1102.1889
Aug 10, 2026
2
ontology log in nLab
ncatlab.org/nlab/show/ontology+log
Aug 10, 2026
3
Lambek.NEW.pdf
archive.illc.uva.nl/lgc/translation/papers/Lambek.NEW.pdf
Aug 10, 2026
5
Is $[[\varphi]]$ a common notation for the set of $x$ satisfying a predicate $\varphi(x)$ in a specified model?
math.stackexchange.com/questions/2946141/is-varphi-a-common-notation-for-the-set-of-x-satisfying-a-predicate-v
Aug 10, 2026
3
[deleted by user] : r/printSF
www.reddit.com/r/printSF/comments/fh3mpq/deleted_by_user/
Aug 10, 2026
1
Values Statement2021
dspivak.net/ValuesStatement.pdf
Aug 10, 2026
10
Olog - CatColab
catcolab.org/help/logics/simple-olog
Aug 10, 2026
3
Transcendental Algebra (2017) | Hacker News
news.ycombinator.com/item?id=35634231
Aug 10, 2026
1
Zpěvník: aa Můj zpěvník (uzivatel442421) - seznam skladeb s texty a
www.yousongs.cz/zpevnik/3426-aa-Muj-zpevnik-(uzivatel442421).aspx?utm_source=&utm_medium=&utm_campaign=
Aug 10, 2026
2
Vložení nového zpěvníku na YouSongs.cz
www.yousongs.cz/registered/NewSongBook.aspx
Aug 10, 2026
1
HUDBA.HRADISTE.CZ
www.midisoubory.cz/index.php?AKCE=DETAIL&ID=3331b4340200
Aug 10, 2026
1
Network Theory
math.ucr.edu/home/baez/networks/
Aug 10, 2026
2
Open Knowledge Graphs: A Search Engine for Ontologies, Controlled Vocabularies, and Semantic Web…
stevehedden.medium.com/open-knowledge-graphs-a-search-engine-for-ontologies-controlled-vocabularies-and-semantic-web-cfcf32a5babe
Aug 10, 2026
1
Network Theory (Part 8)
johncarlosbaez.wordpress.com/2011/09/09/network-theory-part-8/
Aug 10, 2026
1
Network Theory (Part 3)
johncarlosbaez.wordpress.com/2011/04/03/network-theory-part-3/
Aug 10, 2026
1
Network Theory (Part 2)
johncarlosbaez.wordpress.com/2011/03/31/network-theory-part-2/
Aug 10, 2026
2
Network Theory (Part 1)
johncarlosbaez.wordpress.com/2011/03/04/network-theory-part-1/
Aug 10, 2026
8