🔣 Category Theory - Handler4605 · Scour

The mythology of category theory λType Theory

johndcook.com·1d

Category Theory for Tiny ML in Rust 🦋Idris

hghalebi.github.io·3d·Hacker News

Topological Signatures of Grokking 🔵Topology

Aaron David Fairbanks in nLab 🔷Lattice Theory

ncatlab.org·8h

Semantics of pattern unification 📐Formal Methods

Three views on monads λType Theory

Topology-induced structure and local-to-global symmetry 🔵Topology

philsci-archive.pitt.edu·2d

Categorical update λType Theory

logicmatters.net·5d

MD-STGCN: Dynamic topology and multi-scale temporal modeling for skeleton-based action recognition 🔵Topology

sciencedirect.com·4d

Fluid thinking about collective intelligence 👑Leader Election

·6d

On the optimization of copy number variations representation in pangenome graphs 📇Vector Indexing

frontiersin.org·6d

A formulation of D-institution using functor categories 🔷Lattice Theory

Beyond Object-Level Alignment: Do Brains and DNNs Preserve the Same Transformations? 📉Embeddings Optimization

CatDat in nLab 🔵Topology

ncatlab.org·4d

A Categorical Semantics for Linear Logical Frameworks 🔗Linear Types

A virtually connected probabilistic computer as a solver for higher-order, densely connected, or reconfigurable combinatorial optimisation problems 🧮Constraint Solvers

Warren Ambrose in nLab 📐Lean

ncatlab.org·4d

The disoriented skein and iquantum Brauer categories 🔷Lattice Theory

On the Safety of Graph Representation Learning 🤖Machine Learning

Syntax and Semantics of Linear Dependent Types 🔗Linear Types

Log in to enable infinite scrolling