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 (Jul 25 2025 at 09:29):O'Flanagan The Mathematics of Questions
P.S. Just in case a question of 'what's categorical in it?' arises:
The process of going from propositions to their corresponding combinations of questions and answers lends itself to be construed (on my superficial reading) as a functor going from the category S of sets (of propositions) to a category S/L of labelled sets, whose objects are functions: Questions --> Answers, with Answers = {no, yes} as the labelling set L. This functor S --> S/L has an adjoint functor S/L --> S. Of course, there are groups and more that readily lend themselves to categorical readings.
Morgan Rogers (he/him) (Jul 25 2025 at 09:35):My reaction if you had just posted a link to an article would be "what do you expect us to do with this?" and that question still applies.