Universal Mapping Properties and Artificial Intelligence

First post and replies  | Last post by posina, 2 years ago

Concrete description of `bridge' implemented into a theorem prover

First post and replies  | Last post by Olivia Caramello, 3 years ago

The topos structure theory of computing

First post and replies  | Last post by John Bernier, 3 years ago

Isbell Conjugacy for CogSci

First post and replies  | Last post by posina, 3 years ago

Trying to understand "Topos and Stacks of Deep Neural Networks"

First post and replies  | Last post by jcbelfiore, 4 years ago

Welcome to the "Applications" section!

First post and replies  | Last post by Olivia Caramello, 5 years ago