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.
Posina Venkata Rayudu (Oct 23 2023 at 10:02):Since a solution is a part of the totality of all possibles, I was wondering if the notion of part/subobject/monomorphism figures in "Categories for AI". More specifically, are there categories corresponding to, say, the google's Go or microsoft's ChatGPT? (I might as well add here that I'm not asking for "the" category of Go or that of ChatGPT; as we all know, even a simple notion like WEEK can objectified as a set, or as a dynamical system (circle), or as a product of dynamical systems (spiral) depending on the purposes of our investigations). Along these lines, are the states of Go game (about which I know nothing beyond thinking that it must have something like states and/or configurations) states-of-Becoming (cf. https://www.acsu.buffalo.edu/~wlawvere/ToposMotion.pdf)? Continuing in this spirit of graphic display of my ignorance, does ChatGPT have an implicit understanding of how symbols that don't mean anything in particular (e.g., t, c) can be combined to form words (cf. cat) with definite meanings; and how words without truthvlaues (e.g., hat, cat) can be combined into sentences that can be true or false (e.g., the cat is in the hat), or is it a galactic lookup table chatting at the speed of photons/electrons? It seems to me that the current (3rd reincarnation) of AI is more of an offspring of a fruitful renewed bonding between computer science and engineering, with hardly any or, cautiously speaking, not as much enthusiasm to reconnect computer science to mathematics, which was very pronounced in AI's 1st avatar (e.g., https://zenodo.org/records/3950104; see also: https://www.nature.com/articles/s42256-023-00703-8, which refers to them as: artefacts of computer science and engineering).
Notification Bot (Oct 23 2023 at 10:37):A message was moved here from #workshop: Categories for AI > stream events by Matteo Capucci (he/him).