Category Theory

馃攢 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Feeds to Scour
SubscribedAll
Scoured 10 posts in 20.3 ms

tensor product of stable (infinity,1)-categories in nLab

聽馃敜Type Theory
ncatlab.org路

a topos-oriented language with a content-addressed lattice heap

聽馃捇Programming languages
yon-lang.org路路Hacker News

Kan Extensions in Haskell

聽馃МAlgebraic Archives
bartoszmilewski.com路路Hacker News

A New Post Quantum Cryptography Standard (Verification, etc. Included)

聽馃捑File Formats
zenodo.org路路Hacker News

QTCat: Queer and Trans People in Category Theory

聽馃敜Type Theory 聽Content type: Blog
semantic-domain.blogspot.com路路semantic-domain.blogspot.com

A new hardback!

聽馃敜Type Theory 聽Content type: Blog
logicmatters.net路

Strict stability of extension types

聽馃捇Programming languages 聽Content type: Academic
arxiv.org路

Quivers: a year of linear algebra by drawing arrows

聽馃搻Linear Algebra 聽Content type: Blog
lisyarus.github.io路路Hacker News

Essential Unitarity for Higher-Order Quantum Computation

聽馃敜Type Theory 聽Content type: Academic
arxiv.org路

A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking

聽馃捇CS 聽Content type: Academic
arxiv.org路

No more posts from matmat's subscribed feeds.

Scour all 25255 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help