🔣 Category Theory - Handler4605 · Scour

The mythology of category theory λType Theory

johndcook.com·2d

Category Theory for Tiny ML in Rust 🦋Idris

hghalebi.github.io·4d·Hacker News

Topological Signatures of Grokking 🔵Topology

Aaron David Fairbanks in nLab 🔷Lattice Theory

ncatlab.org·10h

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

philsci-archive.pitt.edu·2d

Three views on monads λType Theory

Categorical update λType Theory

logicmatters.net·5d

Semantics of pattern unification 📐Formal Methods

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

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

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

frontiersin.org·6d

A Categorical Semantics for Linear Logical Frameworks 🔗Linear Types

CatDat in nLab 🔵Topology

ncatlab.org·4d

The disoriented skein and iquantum Brauer categories 🔷Lattice Theory

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

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

Syntax and Semantics of Linear Dependent Types 🔗Linear Types

On the Safety of Graph Representation Learning 🤖Machine Learning

Log in to enable infinite scrolling