🔁 Category Theory - ghosh.debasish · Scour

[2605.15037] Sphericalization and the Universal Spherical Adjunction ∑Math

Bending, Yanking, and Cartesian Squares in Double Categories 𝕋Type Theory

bartoszmilewski.com·1d·Hacker News

K-Theory and Characteristic Classes: A Homotopical Perspective ∑Math

link.springer.com·2d

A new version of ICT 🔤PLT

logicmatters.net·6d

[2605.21337] Multicategorical Semantics for Untyped Effects 🧮Denotational Semantics

Less-relevant results

Scientists Found a Way to Make Mammals Heal More Like Salamanders, Which Is Extremely Weird (And Promising) 📜Constitutional AI

Scientists Say They’ve Invented a Serum That Activates a Dormant Ability to Regrow Lost Limbs in Mammals 📜Constitutional AI

futurism.com·4d

Embedding of pseudotensor category ∑Math

hica in comparison to Rust 🖥️Systems Programming

cladam.github.io·5d·r/rust

Continuous categories of endomorphisms associated with $G$-kernels ∑Math

Profunctor Equipment in Haskell λFunctional Programming

bartoszmilewski.com·4d·Hacker News

Combinatorial manifolds and Kleene's theorem, homotopically ∑Math

Proof-reading, with a bit of help from LLMs 📊LLM Evaluation

logicmatters.net·3d

PHP RFC: Bound-Erased Generic Types 𝕋Type Theory

wiki.php.net·6d·Hacker News

When can Traits Depend on Themselves? 🔧SMT Solvers

nadrieril.github.io·6d

Clearing in Liability Networks via Sheaves on Directed Hypergraphs 🎲Probabilistic Data Structures

Equivalence and Conditional Independence in Atomic Sheaf Logic 𝕋Type Theory

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi ∑Math

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version) 𝕋Type Theory

Non-Invertible Symmetries on Tensor-Product Hilbert Spaces and Quantum Cellular Automata 📐Linearizability

Log in to enable infinite scrolling