categorical logic
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
Available in 8 languages
via Wikidata sitelinks · CC0
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).