New answers tagged

6 votes
Accepted

Soft question: Deep learning and higher categories

Sure, there are plenty of potential applications of higher category theory to machine learning and deep learning. Such applications are still in their infancy, so don't expect a new algorithm, getting ...
David White's user avatar
  • 27.8k
5 votes

Soft question: Deep learning and higher categories

After the success of Graph Deep Learning, folks are moving up the chain: a few articles, see for instance this one, have begun considering Simplicial Neural Architectures (SSN) (the main motivation ...
Mirco A. Mannucci's user avatar
1 vote

Admissibility of Harrop's rule, computationally

Let $x : \lnot A$ be a free variable and plug it into a closed term $p : \lnot A \implies (B \lor C)$. You now have a term $p x : B \lor C$. Simplify it. There are three possible outcomes: $px = \...
Christopher King's user avatar

Top 50 recent answers are included