∘ Category Theory - hello · Scour

applications of (higher) category theory in nLab 📐Type Theory

ncatlab.org·5d

Transformations, functors, categories 📐Type Theory

muratkasimov.art·1d·r/functionalprogramming

Frobenius monoidal functors induced by Frobenius extensions of Hopf algebras 💫Effect Systems

Profunctor Equipment 🦀Rust Macros

bartoszmilewski.com·6d·Hacker News

SEXUATED TOPOLOGY AND THE SUSPENSION OF MEANING A NON-HERMENEUTICAL PHENOMENOLOGICAL APPROACH TO TEXTUAL ANALYSIS WILLIAM J. URBAN 💫Effect Systems

swingtradesystems.com·4d

dual superconductor model of color confinement in nLab ⚛️Quantum Computing

ncatlab.org·2d

Proof Identity and Categorical Models of BV 🔗Dependent Types

Benoit Vicedo in nLab 📐Type Theory

ncatlab.org·2d

Relation morphisms of directed graphs 🕸️Graph Databases

simple type conjecture in nLab 📐Type Theory

ncatlab.org·6d

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 📐Type Theory

fully residually free group in nLab 🍱Nom

ncatlab.org·2d

Natural transformations between braiding functors in the Fukaya category 📏Linear Types

extension lemma for differential forms in nLab 🧮MKL

ncatlab.org·6d

Pythia: Toward Predictability-Driven Agent-Native LLM Serving 🦙Ollama

Nobuhiro Nakamura in nLab 🔬Static Analysis

ncatlab.org·5d

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework 🎯Hindley-Milner

Dieter Kotschick in nLab 📐Linear Algebra

ncatlab.org·6d

[2604.18346] Implementing the biset category of finite groups 🔍Type Inference

Affine Supertrusses and Superbraces 📏Linear Types

Log in to enable infinite scrolling