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
Functors, Monads, Mathematical Structures, Abstract Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16
posts in
13.2
ms
tensor product of stable (infinity,1)-
categories
in nLab
λ
Functional Programming
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
QTCat: Queer and
Trans
People in
Category
Theory
🧮
Lambda Calculus
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
Kan Extensions in Haskell
🎁
Monads
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
A New Post Quantum Cryptography Standard (Verification, etc. Included)
🔍
Formal Verification
zenodo.org
·
23h
23 hours ago
·
Hacker News
Actions for A New Post Quantum Cryptography Standard (Verification, etc. Included)
Cocompletions for non-abelian vertex tensor
categories
🎁
Monads
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Cocompletions for non-abelian vertex tensor categories
a
topos-oriented
language with a content-addressed lattice heap
⚙️
Compiler Design
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
🧠
Apple Neural Engine
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
🩹
Self-Healing Systems
lesswrong.com
·
1d
1 day ago
Actions for "Self-Control" Is A (Neurological) Type Error
Projective and anomalous representations of
categories
and their linearizations
📦
Module Systems
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Projective and anomalous representations of categories and their linearizations
Essential Unitarity for Higher-Order Quantum Computation
λ
Functional Programming
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Essential Unitarity for Higher-Order Quantum Computation
Strict stability of extension types
📄
ICFP
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
Learning Transfers: Kan Extensions for Neural Invariants
📚
Automata Learning
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Learning Transfers: Kan Extensions for Neural Invariants
The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf
Topoi
🌊
Coalgebra
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
$E_\infty^{1,2}$-type Lieb-Schultz-Mattis anomalies, deconfined quantum critical points, and non-invertible symmetry breaking
🎨
GADTs
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
Microscopic universal
theory
of symmetry-enriched
topological
quantum spin liquids
≤
Order Theory
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