📐 Category Theory - tomasz · Scour

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

arxiv.org·1d

entanglement wedge in nLab ℹ️Information Theory

ncatlab.org·4d

A single equation for intelligence – from quantum mechanics to AGI in 5 axioms 🧠Philosophy of Mind

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

Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning 🎭Anthropic Claude

arxiv.org·1h

Scott Johnson in nLab 🧠LLM Reasoning

ncatlab.org·4d

Uhlenbeck's singularity theorem in nLab 🔤Type Theory

ncatlab.org·2d

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

arxiv.org·1d

bialgebroid 2-cocycle in nLab 🔤Type Theory

ncatlab.org·1d

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

arxiv.org·6d

Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension 🔤Type Theory

arxiv.org·1d

Invariants and representations of the $\Gamma$-graded general linear Lie $\omega$-algebras 🔤Type Theory

arxiv.org·3d

A geometrical description of untwisted 3d Dijkgraaf-Witten TQFT with defects 🕸️Graph Theory

arxiv.org·1d

Automatic Textbook Formalization 📝TextRank

arxiv.org·3d

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability 🌀Complexity Science

arxiv.org·1d

Uhlenbeck's compactness theorem in nLab 🌀Complexity Science

ncatlab.org·2d

Genus Zero Kashiwara-Vergne Solutions from Braids 🔤Type Theory

arxiv.org·2d

The Bott Metric: A Real-Space Bridge Between Topology and Quantum Metric 🤝Consensus Protocols

arxiv.org·2d

Hierarchical Mesh Transformers with Topology-Guided Pretraining for Morphometric Analysis of Brain Structures 🎭Anthropic Claude

arxiv.org·1d

Uniformly Bounded Cochain Extensions and Uniform Poincar\'e Inequalities 🔤Type Theory

arxiv.org·1d

Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning 🔢Kolmogorov Complexity

arxiv.org·1d

Loading more...