10 citations · 11 across the 11 of their papers we have counts for
13 papers
Cryptanalysis of four arbitrated quantum signature schemes
Pierre-Alain Jacqmin, Jean Liénardy
Arbitrated quantum signature (AQS) schemes aim at ensuring the authenticity of a message with the help of an arbitrator. Moreover, they aim at preventing repudiation, both from a s…
Partial algebras and implications of (weak) matrix properties
Michael Hoefnagel, Pierre-Alain Jacqmin
Matrix properties are a type of property of categories which includes the ones of being Mal'tsev, arithmetical, majority, unital, strongly unital and subtractive. Recently, an algo…
A syntactic characterization of weakly Mal'tsev varieties
Nadja Egner, Pierre-Alain Jacqmin, Nelson Martins-Ferreira
The notion of a weakly Mal'tsev category, as it was introduced in 2008 by the third author, is a generalization of the classical notion of a Mal'tsev category. It is well-known tha…
A note on the atomicity of arithmeticity
Michael Hoefnagel, Pierre-Alain Jacqmin
The main aim of this note is to show that, in the regular context, every matrix property in the sense of Z. Janelidze either implies the Mal'tsev property, or is implied by the maj…
When a matrix condition implies the Mal'tsev property
Michael Hoefnagel, Pierre-Alain Jacqmin
Matrix conditions extend linear Mal'tsev conditions from Universal Algebra to exactness properties in Category Theory. Some can be stated in the finitely complete context while, in…
Matrix taxonomy and Bourn localization
Michael Hoefnagel, Pierre-Alain Jacqmin
In a recent paper, an algorithm has been presented for determining implications between a particular kind of category theoretic property represented by matrices -- the so called `m…
The matrix taxonomy of finitely complete categories
Michael Hoefnagel, Pierre-Alain Jacqmin, Zurab Janelidze
This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represente…
On stability of exactness properties under the pro-completion
Pierre-Alain Jacqmin, Zurab Janelidze
In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and give…
On the naturalness of Mal'tsev categories
Dominique Bourn, Marino Gran, Pierre-Alain Jacqmin
Mal'tsev categories turned out to be a central concept in categorical algebra. On one hand, the simplicity and the beauty of the notion is revealed through a lot of characterizatio…
Finiteness spaces and generalized power series
Richard Blute, Robin Cockett, Pierre-Alain Jacqmin +1
We consider Ribenboim's construction of rings of generalized power series. Ribenboim's construction makes use of a special class of partially ordered monoids and a special class of…
An embedding theorem for regular Mal'tsev categories
Pierre-Alain Jacqmin
In this paper, we obtain a non-abelian analogue of Lubkin's embedding theorem for abelian categories. Our theorem faithfully embeds any small regular Mal'tsev category …
Bipullbacks of fractions and the snail lemma
P. -A. Jacqmin, S. Mantovani, G. Metere +1
We establish conditions giving the existence of bipullbacks in bicategories of fractions. We apply our results to construct a - exact sequence associated with a fractor b…
On fibrations between internal groupoids
P. -A. Jacqmin, S. Mantovani, G. Metere +1
In order to deduce the internal version of the Brown exact sequence from the internal version of the Gabriel-Zisman exact sequence, we characterize fibrations and -fibrations…