Pour faire suite et étndre une pseudo idée proposée précédemment :
Je souhaiterais savoir s'il pourrait y avoir des pistes ou des volontaires ou des curieux/curieuses concernant la construction d'outils permettant de partager et structurer des chemins intellectuels ( via des interfaces évoluant au fil de l'eau ... ) à divers rythmes ... et en glanant, chemin faisant, des suggestions de théories ... et de résultats ( théorèmes, applications .. ) présentant une forme de proximité ... Les topos de Grothendieck me paraissent ( le peu que je crois être capable d'y voir ... ) puissants... mais d'autres approches convergentes existent parmi lesquelles les 'univalent fondations' de Voevodsky .
