🔄 Category Theory - scribe · Scour

applications of (higher) category theory in nLab ∑Math

ncatlab.org·4d

Transformations, functors, categories 🔢Type Theory

muratkasimov.art·1d·r/functionalprogramming

Full Definability in a Profunctorial Model ∑Math

Issue 649 🔢Type Theory

datascienceweekly.substack.com·3h·Substack

Borromean Rings: Chance and Complementarity, Homology and Archetype, Analogy and Prototype. ∑Math

philsci-archive.pitt.edu·1d

Animated Logical Graphs • 1 🌀Logic & Paradoxes

stream.syscoi.com·9h

Profunctor Equipment ∑Math

bartoszmilewski.com·6d·Hacker News

Issue 522 🔢Type Theory

haskellweekly.news·16h

Document type inference 🔢Type Theory

The Mutable Value Semantics (MVS): A Non-Superficial Study 🦀Rust

federicobruzzone.github.io·3h·Hacker News

std::find_if (3) Linux Manual Page 🔢Type Theory

systutorials.com·22h

Why Senior Python Interviews Test the Wrong Things (And How to Actually Prepare) 🔢Type Theory

docs.python.org·5h·DEV

The Case Against Geometric Algebra ∑Math

alexkritchevsky.com·2d

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

ayoucis.wordpress.com·4d

Wakil Ahmad Hakimi, The Impossibility of an Actually Infinite Future: Grounding, Traversal, and Temporal Structure 🌀Logic & Paradoxes

philarchive.org·12h·Hacker News

VO: The Vaccine Ontology 🔢Type Theory

Six dimensional hextille boondoggle acl2 + mcclim common lisp 🧩Cellular Automata

lispy-gopher-show.itch.io·2d

Lectures on history of programming languages 🔢Type Theory

lobste.rs·14h·Lobsters

SEXUATED TOPOLOGY AND THE SUSPENSION OF MEANING A NON-HERMENEUTICAL PHENOMENOLOGICAL APPROACH TO TEXTUAL ANALYSIS WILLIAM J. URBAN 🔢Type Theory

swingtradesystems.com·3d

Vector, the Journal of the British APL Association 🗂️Data Structures

web.archive.org·1d·Hacker News

Log in to enable infinite scrolling