🔁 Category Theory - ghosh.debasish · Scour

A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems 📐Linearizability

arxiv.org·2d

A single equation for intelligence – from quantum mechanics to AGI in 5 axioms 🌐Distributed Systems

holon.sh·4d·Hacker News, Hacker News

Nonlinearity-driven topology via spontaneous symmetry breaking 📐Linearizability

link.aps.org·21h

bialgebroid 2-cocycle in nLab 🔤PLT

ncatlab.org·2d

How I Beat MLX's Softmax with Abstract Algebra 🔤PLT

nasser.nz·2d

Munkres' General Topology Autoformalized in Isabelle/HOL 📐Theorem Proving

arxiv.org·10h

Coexact completion of profinite Heyting algebras and uniform interpolation ∑Math

arxiv.org·10h

entanglement wedge in nLab 🔤PLT

ncatlab.org·5d

Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension ∑Math

arxiv.org·2d

Cluster Attention for Graph Machine Learning 🌊Streaming Algorithms

arxiv.org·10h

Uhlenbeck's singularity theorem in nLab ∑Math

ncatlab.org·3d

Clones of pigmented words and realizations of special classes of monoids 𝕋Type Theory

arxiv.org·2d

Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning 🧠LLMs

arxiv.org·1d

Scott Johnson in nLab ∑Math

ncatlab.org·6d

A geometrical description of untwisted 3d Dijkgraaf-Witten TQFT with defects 🔧SMT Solvers

arxiv.org·2d

Invariants and representations of the $\Gamma$-graded general linear Lie $\omega$-algebras 🔗Linear Types

arxiv.org·4d

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability 📐Linearizability

arxiv.org·2d

Ruben Louis in nLab 🧠LLMs

ncatlab.org·3d

Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning 🔧SMT Solvers

arxiv.org·2d

Hierarchical Mesh Transformers with Topology-Guided Pretraining for Morphometric Analysis of Brain Structures 🗄️Vector Databases

arxiv.org·2d

Loading more...