Description
Je commencerai par introduire brièvement la catégorie des bi-ensembles. Je présenterai ensuite une première implémentation de cette catégorie basée sur le langage de programmation GAP. Je conclurai mon exposé en évoquant une seconde implémentation sur laquelle je travaille actuellement en collaboration.