categorical logic
Sign in to savebranch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).