🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Feeds to Scour
SubscribedAll
Scoured 15824 posts in 217.8 ms
abelianization of an additive category in nLab
ncatlab.org·10h
🧮Algebraic Archives
Preview
Report Post
**Random Combination:** Combining Closure Operads (a branch of category theory dealing with higher-dimensional generalizations of closures) with Topological ...
freederia.com·2d
🕸️Algebraic Topology
Preview
Report Post
Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward L\"owenheim-Skolem Theorem
arxiv.org·21h
🔲Proof Irrelevance
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·10h·
Discuss: Hacker News
🤝Unification Algorithms
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·3d
🎯Automata theory
Preview
Report Post
Making a Language
thunderseethe.dev·4h
🛠Language Design
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·14h
📊Static Analysis
Preview
Report Post
Gödel’s Theorems (and logicisms) revisited
logicmatters.net·2d
🔬Logic in Computer Science
Preview
Report Post
Building a mini PyTorch in C++ from scratch as a high school student...
dev.to·13h·
Discuss: DEV
🚀SIMD Parsing
Preview
Report Post
Free papers, get your free papers here!
esat.kuleuven.be·7h
🔢Reed-Solomon Math
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·14h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Preview
Report Post
Unification of Deterministic Higher-Order Patterns
arxiv.org·21h
🤝Unification Algorithms
Preview
Report Post
Reals, Complex, Quaternions and Octonions
nigelvr.github.io·2d·
Discuss: Hacker News
📐Linear Algebra
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
🎯Gradual Typing
Preview
Report Post
Models of generics and metaprogramming: Golang, Rust, Swift, D, and more
thume.ca·2d·
Discuss: Hacker News
👑Dependent Haskell
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·12h·
Discuss: Blogger
📐Linear Algebra
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·12h
🧩WASM Components
Preview
Report Post
The Parable of the Languages (2002)
web.archive.org·1d·
Discuss: Lobsters
💻Programming languages
Preview
Report Post
arvatamas/The-Cosmic-Mirror: An experiment in emergent structure: from simple rules to geometry-like behavior.
github.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·9h·
Discuss: Hacker News
🌳Incremental Parsing
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help