🔣 Category Theory - c13e · Scour

Kan Extensions in Haskell

λFunctional Programming

bartoszmilewski.com··Hacker News

Less-relevant results

A new hardback!

📖Grimdark Fantasy Blog

logicmatters.net·

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

λFunctional Programming

Quivers: a year of linear algebra by drawing arrows

⚡Effect Systems Blog

lisyarus.github.io·

QTCat: Queer and Trans People in Category Theory

🔢Type Theory Blog

semantic-domain.blogspot.com··semantic-domain.blogspot.com

Essential Unitarity for Higher-Order Quantum Computation

λFunctional Programming Academic

"Self-Control" Is A (Neurological) Type Error

🧬Cognitive Neuroscience

lesswrong.com·

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

⚙️Compiler Design

yon-lang.org··Hacker News

Strict stability of extension types

🔢Type Theory Academic

🥇Top AI Papers of the Week

🤖AI Engineering News

nlp.elvissaravia.com·

Learning Transfers: Kan Extensions for Neural Invariants

🧠Local AI Academic

Projective and anomalous representations of categories and their linearizations

⚡Effect Systems Academic

Pull-back and push-forward functors for holonomic modules over Cherednik algebras

🔢Type Theory Academic

On the Complexity of the Bi-infinite Post Correspondence Problem

🔍Parsing Academic

Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

🔢Type Theory Academic

The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi

λFunctional Programming Academic

$E_\infty^{1,2}$-type Lieb-Schultz-Mattis anomalies, deconfined quantum critical points, and non-invertible symmetry breaking

🔢Type Theory Academic

Cocompletions for non-abelian vertex tensor categories

⚡Effect Systems Academic

Microscopic universal theory of symmetry-enriched topological quantum spin liquids

🔢Type Theory Academic

Log in to enable infinite scrolling