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, Morphisms, Abstract Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23
posts in
6.6
ms
tensor product of stable (infinity,1)-
categories
in nLab
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
Kan Extensions in Haskell
λ
Functional Programming
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces
🔢
Modular Arithmetic
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces
QTCat: Queer and
Trans
People in
Category
Theory
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical 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
a
topos-oriented
language with a content-addressed lattice heap
⚙️
LLVM
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
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Content type:
Blog
lisyarus.github.io
·
1d
1 day ago
·
Hacker News
Actions for Quivers: a year of linear algebra by drawing arrows
A new hardback!
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Content type:
Blog
logicmatters.net
·
6d
6 days ago
Actions for A new hardback!
15-150: Principles of
Functional
Programming
λ
Functional Programming
brandonspark.github.io
·
1d
1 day ago
Actions for 15-150: Principles of Functional Programming
"Self-Control" Is A (Neurological) Type Error
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
lesswrong.com
·
1d
1 day ago
Actions for "Self-Control" Is A (Neurological) Type Error
Moduli Space of Sheaves and
Categorified
Commutator
of
Functors
λ
Functional Programming
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Moduli Space of Sheaves and Categorified Commutator of Functors
🥇
Top
AI Papers of the Week
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Content type:
News
nlp.elvissaravia.com
·
3d
3 days ago
Actions for 🥇Top AI Papers of the Week
quasitriangular Hopf
2-algebra
in nLab
λ
Functional Programming
ncatlab.org
·
5d
5 days ago
Actions for quasitriangular Hopf 2-algebra in nLab
Learning Transfers: Kan Extensions for Neural Invariants
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Learning Transfers: Kan Extensions for Neural Invariants
Projective and anomalous representations of
categories
and their linearizations
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Projective and anomalous representations of categories and their linearizations
triangulated bifunctor in nLab
🔗
Parser Combinators
ncatlab.org
·
3d
3 days ago
Actions for triangulated bifunctor in nLab
Pull-back and push-forward
functors
for holonomic modules over Cherednik
algebras
🌌
Astrophysics
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Pull-back and push-forward functors for holonomic modules over Cherednik algebras
Defects in skein
theory
and TQFT
🔤
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Defects in skein theory and TQFT
Cocompletions for non-abelian vertex tensor
categories
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Cocompletions for non-abelian vertex tensor categories
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
The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf
Topoi
➡️
Linear Logic
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
Page 2 »
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