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
Specific
category theory, functors, monads, type theory, abstract algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17
posts in
7.2
ms
tensor product of stable (infinity,1)-
categories
in nLab
λ
Lambda Calculus
ncatlab.org
·
2d
2 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
a
topos-oriented
language with a content-addressed lattice heap
🔧
Compilers
yon-lang.org
·
5d
5 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Less-relevant results
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
Type Theory
lix.polytechnique.fr
·
4h
4 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Kan Extensions in Haskell
λ
Lambda Calculus
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
Strict stability of extension
types
λ
Type Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Strict stability of extension types
A new hardback!
λ
Type Theory
Content type:
Blog
logicmatters.net
·
6d
6 days ago
Actions for A new hardback!
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
Quivers: a year of linear
algebra
by drawing arrows
🗃️
Vector Databases
Content type:
Blog
lisyarus.github.io
·
21h
21 hours ago
·
Hacker News
Actions for Quivers: a year of linear algebra by drawing arrows
"Self-Control" Is A (Neurological)
Type
Error
🌐
Distributed Systems
lesswrong.com
·
16h
16 hours ago
Actions for "Self-Control" Is A (Neurological) Type Error
Learning Transfers: Kan Extensions for Neural Invariants
🗃️
Vector Databases
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
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Essential Unitarity for Higher-Order Quantum Computation
🥇
Top
AI Papers of the Week
🏗️
System Design
Content type:
News
nlp.elvissaravia.com
·
2d
2 days ago
Actions for 🥇Top AI Papers of the Week
Projective and anomalous representations of
categories
and their linearizations
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Projective and anomalous representations of categories and their linearizations
$E_\infty^{1,2}$-
type
Lieb-Schultz-Mattis anomalies, deconfined quantum critical points, and non-invertible symmetry breaking
🌐
Distributed Systems
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
🌐
Distributed Systems
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
Cocompletions for non-abelian vertex tensor
categories
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Cocompletions for non-abelian vertex tensor categories
Microscopic universal
theory
of
symmetry-enriched
topological
quantum spin liquids
🌐
Distributed Systems
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