9 papers
From Matrices to Morphisms II: Examples of Computational Categories in MATLAB and Octave
Nelson Martins-Ferreira
This article develops the notion of a computational category, motivated by the observation that many mathematical structures occurring in scientific computing already admit concret…
On the zero-classes of monoid semi-congruences
M. Hoefnagel, N. Martins-Ferreira, M. Sobral
This paper studies the zero-classes of monoid semi-congruences, understood as internal reflexive relations on a monoid. Classical examples include normal submonoids, which arise as…
The Lawvere condition
Nelson Martins-Ferreira
The original Lawvere condition asserts that every reflexive graph admits a unique natural structure of internal groupoid. This property was identified by P. T. Johnstone, following…
On Naturally and Weakly Mal'tsev Categories
Nelson Martins-Ferreira
We explore a hierarchy of notions in categorical algebra: Mal'tsev categories (where every reflexive relation is symmetric); naturally Mal'tsev categories (where every reflexive gr…
Reconstructing Classical Algebras via Ternary Operations
Jorge Fatelo, Nelson Martins-Ferreira
Although algebraic structures are frequently analyzed using unary and binary operations, they can also be effectively defined and unified through ternary operations. In this contex…
Fibrations of algebras
Danel Ahman, Greta Coraglia, Davide Castelnovo +3
We study fibrations arising from indexed categories of the following form: fix two categories and a functor $F : \mathcal{A} \times \mathcal{X} \longright…