Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Category Theory
🔄 Category Theory
Broad
Functors, Monads, Natural Transformations, Topos Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
15
posts in
9.7
ms
tensor product of stable (infinity,1)-
categories
in nLab
💡
Programming Paradigms
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
Kan Extensions in Haskell
🔢
Type Theory
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
QTCat: Queer and
Trans
People in
Category
Theory
🔢
Type Theory
Content type:
Blog
semantic-domain.blogspot.com
·
2d
2 days ago
·
semantic-domain.blogspot.com
Actions for QTCat: Queer and Trans People in Category Theory
Projective and anomalous representations of
categories
and their linearizations
🔗
Linear Types
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Projective and anomalous representations of categories and their linearizations
a
topos-oriented
language with a content-addressed lattice heap
🔢
Type Theory
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Quivers: a year of linear
algebra
by drawing arrows
📐
Linear Algebra
Content type:
Blog
lisyarus.github.io
·
1d
1 day ago
·
Hacker News
Actions for Quivers: a year of linear algebra by drawing arrows
🥇
Top
AI Papers of the Week
🏗️
System Design
Content type:
News
nlp.elvissaravia.com
·
3d
3 days ago
Actions for 🥇Top AI Papers of the Week
"Self-Control" Is A (Neurological) Type Error
🧠
Cognitive Biases
lesswrong.com
·
1d
1 day ago
Actions for "Self-Control" Is A (Neurological) Type Error
Learning Transfers: Kan Extensions for Neural Invariants
🧠
LLMs
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Learning Transfers: Kan Extensions for Neural Invariants
Essential Unitarity for Higher-Order Quantum Computation
📐
Linear Algebra
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Essential Unitarity for Higher-Order Quantum Computation
Cocompletions for non-abelian vertex tensor
categories
🕸️
Graph Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Cocompletions for non-abelian vertex tensor categories
Strict stability of extension types
🔢
Type Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
$E_\infty^{1,2}$-type Lieb-Schultz-Mattis anomalies, deconfined quantum critical points, and non-invertible symmetry breaking
🌀
Complexity Science
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for $E_\infty^{1,2}$-type Lieb-Schultz-Mattis anomalies, deconfined quantum critical points, and non-invertible symmetry breaking
The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf
Topoi
📐
Linear Algebra
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi
Microscopic universal
theory
of symmetry-enriched
topological
quantum spin liquids
🔗
Linear Types
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Microscopic universal theory of symmetry-enriched topological quantum spin liquids
Log in to enable infinite scrolling
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
Save / unsave
s
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