@estebanricardo22 There are no papers available yet, but the subject is going to be developed in several directions. I shall post updates here.

Hi Ricardo, thanks for your question. That working group has broadened its scope and the meetings have touched different aspects of toposes relevant f...

The logical formalisms embedded in an artificial learning system should be the formal analogue of the natural languages that we use everyday to descri...

Hi Mohamed, thank you for your request. The talk has not been videorecorded, but I attach the slides that I used for my presentation. All the best.

@gavin-wraith Hi Gavin, welcome to the Forum! I am not familiar with that work by Furber; does it have any relation with toposes?

@john-bernier Thanks for these explanations! I will look at your paper with interest.