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, Natural Transformations, Monoids, Algebraic Structures
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
21
posts in
7.0
ms
Kan Extensions in Haskell
🔧
Functional Programming
bartoszmilewski.com
·
3d
3 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
Microscopic
universal
theory
of symmetry-enriched topological quantum spin liquids
📐
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Microscopic universal theory of symmetry-enriched topological quantum spin liquids
Issue 528
🔧
Functional Programming
haskellweekly.news
·
7h
7 hours ago
Actions for Issue 528
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
Quivers: a year of linear
algebra
by drawing arrows
🔧
Functional Programming
Content type:
Blog
lisyarus.github.io
·
2d
2 days ago
·
Hacker News
Actions for Quivers: a year of linear algebra by drawing arrows
QTCat: Queer and
Trans
People in
Category
Theory
📐
Type Theory
Content type:
Blog
semantic-domain.blogspot.com
·
3d
3 days ago
·
semantic-domain.blogspot.com
Actions for QTCat: Queer and Trans People in Category Theory
"Self-Control" Is A (Neurological) Type Error
🧠
Memory Models
lesswrong.com
·
1d
1 day ago
Actions for "Self-Control" Is A (Neurological) Type Error
a topos-oriented language with a content-addressed lattice heap
💻
programming languages
yon-lang.org
·
6d
6 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Abstract Cluster
Structures
🏗️
Compiler Design
Content type:
Academic
arxiv.org
·
13h
13 hours ago
Actions for Abstract Cluster Structures
Less-relevant results
🥇Top AI Papers of the Week
🧮
Theorem Proving
Content type:
News
nlp.elvissaravia.com
·
4d
4 days ago
Actions for 🥇Top AI Papers of the Week
Cocompletions for non-abelian vertex tensor
categories
📐
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Cocompletions for non-abelian vertex tensor categories
quasitriangular Hopf
2-algebra
in nLab
🔧
Functional Programming
ncatlab.org
·
6d
6 days ago
Actions for quasitriangular Hopf 2-algebra in nLab
Learning Transfers: Kan Extensions for Neural Invariants
📐
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Learning Transfers: Kan Extensions for Neural Invariants
The many faces of higher Hilbert spaces
📐
Type Theory
Content type:
Academic
arxiv.org
·
13h
13 hours ago
Actions for The many faces of higher Hilbert spaces
Relative dendroidal Rezk nerve and applications
🧮
Theorem Proving
Content type:
Academic
arxiv.org
·
13h
13 hours ago
Actions for Relative dendroidal Rezk nerve and applications
Codifferential Calculi on Quantum Homogeneous Spaces
📐
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Codifferential Calculi on Quantum Homogeneous Spaces
The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi
📐
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi
Projective and anomalous representations of
categories
and their linearizations
📐
Type Theory
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for Projective and anomalous representations of categories and their linearizations
Strict stability of extension types
📐
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Strict stability of extension types
The Shibboleth Effect: Auditing the Cross-Lingual Distributional Skew of Large Language Models
🔧
Functional Programming
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for The Shibboleth Effect: Auditing the Cross-Lingual Distributional Skew of Large Language Models
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