Skip to main content
Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Category Theory
Functors, Monads, Morphisms, Abstract Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80741
posts in
1.21
s
An
Elementary
Theory of the
Category
of Sets
golem.ph.utexas.edu
·
1d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Etude des
morphismes
pr{\'e}servant les mots
primitifs
arxiv.org
·
1d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Skein
Categories in
Non-semisimple
Settings
arxiv.org
·
15h
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Monad
tutorials
timeline
wiki.haskell.org
·
2d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper presents a novel framework for modeling the emergence of
spacetime
from higher
categorical
structures using algorithmic automata rec...
freederia.com
·
1h
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
If it
compiles
, it is correct (almost): an introduction to Lean 4 for
ZK
systems and Engineering
blog.lambdaclass.com
·
3h
🔬
Static Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Theory of
self-reproducing
automata : Von
Neumann
, John, 1903-1957 : Free Download, Borrow, and Streaming
archive.org
·
8h
⚙️
Concurrency Models
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Mark Jason
Dominus
: Almost-trivial
theorems
blog.plover.com
·
1d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Annals
of Pure and Applied Logic Volume 177, Issue 2, February 2026, 103662 Full Length Article
Univalent
material set theory
sciencedirect.com
·
2d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Little Lens
Starter
Tutorial - School of
Haskell
schoolofhaskell.com
·
1h
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Introduction
- 3D Math
Primer
for Graphics and Game Development
gamemath.com
·
26m
🎲
Procedural Generation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Modal
Homotopy
Type Theory - The Book
golem.ph.utexas.edu
·
3d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Hedwig
Conrad-Martius
’ Ontological Phenomenology (Women in the History of Philosophy and Sciences, 5): Hart: 9783030448417: Amazon.com: Books
amazon.com
·
9h
🔄
Systems Thinking
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Pratt parsing to the
Dijkstra
shunting
yard
matklad.github.io
·
8h
·
Discuss:
Hacker News
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Learn You a
Haskell
for Great Good!
learnyouahaskell.github.io
·
3h
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Teaching
philhoward.org
·
4h
📡
Protocol Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Structuralism
in the Philosophy of Mathematics (Stanford
Encyclopedia
of Philosophy)
plato.stanford.edu
·
3d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ML
Systems
Textbook
mlsysbook.ai
·
1d
📊
Algorithms
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Jeff
Sebo
jeffsebo.net
·
3h
🔄
Systems Thinking
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel, automated framework for assessing the spectral
decomposability
of
Banach
algebras, specifically focusing on Von ...
freederia.com
·
16h
🔍
Type Inference
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help