🔁 Category Theory - ghosh.debasish · Scour

applications of (higher) category theory in nLab 🧮Denotational Semantics

ncatlab.org·4d

Transformations, functors, categories 𝕋Type Theory

muratkasimov.art·1d·r/functionalprogramming

Relation morphisms of directed graphs 🕸️Graph Theory

Topology-driven classification of time series 🗄️Vector Databases

biorxiv.org·23h

Essay: Topological Phases and Exceptional Points in Non-Hermitian Systems ∑Math

link.aps.org·2d

Profunctor Equipment ∑Math

bartoszmilewski.com·6d·Hacker News

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

swingtradesystems.com·3d

lacan's development of non-metaphorical topology ∑Math

notes.pinboard.in·3d

Proof Identity and Categorical Models of BV 📐Theorem Proving

Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover 🔧SMT Solvers

eprint.iacr.org·3d

hwlocality_helper_ancestors (3) Linux Manual Page 🌲LSM Trees

systutorials.com·6d

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework 🧮Denotational Semantics

Y. M. Cho in nLab 🔤PLT

ncatlab.org·2h

Topology-Aware Representation Alignment for Semi-Supervised Vision-Language Learning 🧠LLMs

Star-Fusion: A Multi-modal Transformer Architecture for Discrete Celestial Orientation via Spherical Topology 🗄️Vector Databases

hwloc_topology_diff_destroy (3) Linux Manual Page 🖥️Systems Programming

systutorials.com·6d

dual superconductor model of color confinement in nLab ∑Math

ncatlab.org·2d

Exploring the Potential of Probabilistic Transformer for Time Series Modeling: A Report on the ST-PT Framework 🌊Streaming Algorithms

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

Ollivier-Ricci curvature in nLab 📐Geometric Algorithms

ncatlab.org·5h

Log in to enable infinite scrolling