References
- Allouch, S., & Simpson, C. (2014). Classification des matrices associées aux catégories finies. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 55, 205–240. https://doi.org/10.1080/00927872.2017.1404081
- Allouch, S., & Simpson, C. (2018). Classification of categories with matrices of coefficient 2 and order n. Communications in Algebra, 46(7), 3079–3091. https://doi.org/10.1080/00927872.2017.1404081
- Carboni, A., Kasangian, S., & Walters, R. (1987). An axiomatics for bicategories of modules. Journal of Pure and Applied Algebra, 45(2), 127–141. https://doi.org/10.1016/0022-4049(87)90065-X
- Distler, A., Jefferson, C., Kelsey, T., & Kotthoff, L. (2012). The semigroups of order 10. Proceedings of the International Conference on Principles and Practice of Constraint Programming, Milano, Springer (pp. 883–899).
- Distler, A., & Kelsey, T. (2009). The monoids of orders eight, nine and ten. Annals of Mathematics and Artificial Intelligence, 56(1), 3–21. https://doi.org/10.1007/s10472-009-9140-y
- Fussner, W., Ghannoum, N., Jakl, T., & Simpson, C. (2020). Classification of finite semigroups and categories using computational methods. Proceedings of the 5th Conference on Artificial Intelligence and Theorem Proving AITP 2020, Aussois, France.
- Ghannoum, N. (2022, December). Investigation of finite categories [ Theses]. Université Côte d’Azur ; Université Libanaise.
- Jipsen, P. https://math.chapman.edu/jipsen/uajs/Mon.html
- Koslowski, J. (1997). Monads and interpolads in bicategories. Theory and Applications of Categories, 3(8), 182–212.
- Leinster, T. (1999a). Fc-multicategories. arXiv preprint math/9903004.
- Leinster, T. (1999b). Generalized enrichment for categories and multicategories. arXiv preprint math/9901139.
- Leinster, T. (2002). Generalized enrichment of categories. Journal of Pure and Applied Algebra, 168(2–3), 391–406. https://doi.org/10.1016/S0022-4049(01)00105-0
- McCune, W. (2003). Mace4 reference manual and guide. arXiv preprint cs/0310055.
- The on-line Encyclopedia of integer sequences. https://oeis.org/A058129.
- Simpson, C. (2021). Learning proofs for the classification of nilpotent semigroups. https://doi.org/10.48550/arXiv.2106.03015