∘ Category Theory - hello · Scour

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

ncatlab.org·5d

Proof Identity and Categorical Models of BV 🔗Dependent Types

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

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

Benoit Vicedo in nLab 📐Type Theory

ncatlab.org·2d

Relation morphisms of directed graphs 🕸️Graph Databases

fully residually free group in nLab 🍱Nom

ncatlab.org·2d

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

simple type conjecture in nLab 📐Type Theory

ncatlab.org·6d

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

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

extension lemma for differential forms in nLab 🧮MKL

ncatlab.org·6d

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

Reparameterization through Coverings and Topological Weight Priors 🔀Topological Sorting

No more posts from hello's subscribed feeds.

Scour all 24433 feeds Learn more about Feeds

Log in to enable infinite scrolling