∑ Math - ghosh.debasish · Scour

applications of (higher) category theory in nLab 🔁Category Theory

ncatlab.org·4d

Borromean Rings: Chance and Complementarity, Homology and Archetype, Analogy and Prototype. 🔁Category Theory

philsci-archive.pitt.edu·1d

Full Definability in a Profunctorial Model 🔁Category Theory

Show HN: Just Math It. Learn math interactively 📐Theorem Proving

justmathit.com·1h·Hacker News

Improving algebraic understanding using history of mathematics: the case of structural reasoning in cubic equations 📐Theorem Proving

frontiersin.org·10h

The Case Against Geometric Algebra ⚡Effect Systems

alexkritchevsky.com·2d

The monstrous number sequences that break the rules of mathematics 🕸️Graph Theory

newscientist.com·6d·Hacker News

Every algorithm is a natural number. Hilbert's hotel has room for all of them 🔧SMT Solvers

darkomulej.substack.com·20h·Substack

Transformations, functors, categories 🔁Category Theory

muratkasimov.art·1d·r/functionalprogramming

Brawl Code: Bench-clearing math lessons from the bottom of the pile 🔤PLT

substackcdn.com·21h·Substack

Double Maths First Thing: Issue 56 📐Theorem Proving

aperiodical.com·1d

Profunctor Equipment 🔁Category Theory

bartoszmilewski.com·6d·Hacker News

Tries for Polynomials 🔧SMT Solvers

doisinkidney.com·2d·Lobsters

Math Notes 📐Theorem Proving

futilitycloset.com·6d

Ray's Arithmetic 📐Geometric Algorithms

raysarithmetic.wordpress.com

·2d·Hacker News

Relation morphisms of directed graphs 🔁Category Theory

On This Day in Math 🕸️Graph Theory

pballew.blogspot.com·1d·Blogger

What are covering spaces in algebraic geometry? (Pt II: Finite etale covering spaces) 🔁Category Theory

ayoucis.wordpress.com·4d

Gettiered by degrees 🔁Category Theory

alexanderpruss.blogspot.com·2d·Blogger

Some type constructors are tensor products 𝕋Type Theory

blog.sigfpe.com·2d·Blogger

Log in to enable infinite scrolling