Classification of finite semigroups and categories using computational methods - Laboratoire Jean-Alexandre Dieudonné Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Classification of finite semigroups and categories using computational methods

Résumé

We report on our work in progress aimed at analyzing the structure of finite categories, with an eye to developing structure theorems for these. In this work, we rely on the use of McCune’s Prover9/Mace4 to construct models, providing in particular a count of the number of categories with two non-isomorphic objects and such that all hom-sets have size 3.
Fichier non déposé

Dates et versions

hal-02972963 , version 1 (20-10-2020)

Identifiants

  • HAL Id : hal-02972963 , version 1

Citer

Wesley Fussner, Najwa Ghannoum, Tomás Jakl, Carlos Simpson. Classification of finite semigroups and categories using computational methods. 5th Conference on Artificial Intelligence and Theorem Proving AITP 2020, Thomas Hales, Cezary Kaliszyk, Ramana Kumar, Stephan Schulz, Josef Urban, Sep 2020, Aussois, France. ⟨hal-02972963⟩
161 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More