Le besoin d'une réflexion mariant philosophie et calcul est pressant dans un monde de plus en plus habité par les humains et envahi par des technologies du calcul qui montrent leur puissance dans l'avancée des découvertes scientifiques et signalent leur immaturité dès que l'on examine leur impact sur le monde, la culture et la société. Ce besoin de réflexion philosophique sur le calcul et de réflexion formelle sur la philosophie motive toute une activité de recherche fédérant philosophes et informaticiens. Dans cet article, nous examinons comment des modèles, venant de la théorie des catégories et qui montrent une grande efficacité pour formaliser le calcul par ordinateur mais aussi des formes de calcul scientifique, sont pertinents pour réaliser un travail d'annotation formelle d'une explication faite par Gilles Deleuze de l'Éthique de Spinoza [1].