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
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80667
posts in
527.3
ms
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
[2412.18993] Foundations of $(A_
infty
,2)$-
categories
: from flow to linear
arxiv.org
·
2d
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical 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 introduces a novel, automated framework for assessing the spectral
decomposability
of
Banach
algebras, specifically focusing on Von ...
freederia.com
·
7h
✓
Formal Verification
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
·
19h
🔤
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
·
1d
🔤
Type Theory
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
·
2d
🔤
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
·
26m
📚
Literary Criticism
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The shape of the Universe – revealed through
Algebraic
Geometry
mpg.de
·
44m
·
Discuss:
Hacker News
🔤
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
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
·
1d
·
Discuss:
Hacker News
🔤
Type Theory
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
·
2d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Higher-Form
Anomalies
on
Lattices
link.aps.org
·
1d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Object-Oriented
i-programmer.info
·
19h
🤔
Programming, Programming Languages, Philosophy
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Bivariate
choropleths
are go!
geospatialstuff.com
·
10h
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
Porous
Borders
of English Category
blog.firedrake.org
·
1d
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Concept
underthenoise.bearblog.dev
·
4h
🤔
Programming, Programming Languages, Philosophy
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A brief introduction to
Compilers
with
Kotlin
examples
rabbitvictor.com
·
1d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
📖 THE STORY OF
JAVA
COLLECTIONS
dev.to
·
2d
·
Discuss:
DEV
🔤
Type Theory
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