🔣 Category Theory - Handler4605 · Scour

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

arxiv.org·18h

Uhlenbeck's singularity theorem in nLab 🔵Topology

ncatlab.org·2d

A single equation for intelligence – from quantum mechanics to AGI in 5 axioms 🔣Model Theory

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

Dioperads, Frobenius monoidal functors and duality 🔷Lattice Theory

arxiv.org·6d

entanglement wedge in nLab 🔷Lattice Theory

ncatlab.org·4d

Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension 🔷Lattice Theory

arxiv.org·18h

bialgebroid 2-cocycle in nLab 🔷Lattice Theory

ncatlab.org·1d

Clones of pigmented words and realizations of special classes of monoids 🔷Lattice Theory

arxiv.org·18h

Scott Johnson in nLab 🔧Linkers

ncatlab.org·4d

A geometrical description of untwisted 3d Dijkgraaf-Witten TQFT with defects 🔵Topology

arxiv.org·18h

Genus Zero Kashiwara-Vergne Solutions from Braids 🧮SMT Solvers

arxiv.org·1d

MedGemma 1.5 Technical Report 🧮SMT Solvers

arxiv.org·18h

Automatic Textbook Formalization 🧮SMT Solvers

arxiv.org·2d

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability 🧮SMT Solvers

arxiv.org·18h

Compositional Program Verification with Polynomial Functors in Dependent Type Theory λType Theory

arxiv.org·5d

The Bott Metric: A Real-Space Bridge Between Topology and Quantum Metric 🔵Topology

arxiv.org·1d

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

arxiv.org·18h

Uhlenbeck's compactness theorem in nLab 🔵Topology

ncatlab.org·2d

Formal Deformation quantization as a Fr\'echet algebra 🔷Lattice Theory

arxiv.org·6d

Global Geometry of Orthogonal Foliations in the Control Allocation of Signed-Quadratic Systems 🔗Linear Types

arxiv.org·5d

Loading more...