Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: deprecated: neuroscience

Topic: signatures of "well-typed" cognition

view this post on Zulip Johannes Drever (May 21 2021 at 12:54):

In the talk Compositional Active Inference @Toby Smithe asks the question whether there are explicit signatures of "well-typed" cognition. Is there expermental research in this direction going on? Would this be something like the N400 of of (dependent)-type inference?