Strict refinement property of connected loop-free categories - Département d'informatique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Strict refinement property of connected loop-free categories

Résumé

In this paper we study the strict refinement property for connected partial orders also known as Hashimoto’s Theorem. This property implies that any isomorphism between products of irreducible structures is determined is uniquely determined as a product of isomorphisms between the factors. This refinement implies a sort of smallest possible decomposition for such structures. After a brief recall of the necessary notion we prove that Hashimoto’s theorem can be extended to connected loop-free categories, i.e. categories with no non-trivial morphisms endomorphisms. A special case of such categories is the category of connected components, for concurrent programs without loops.
Fichier principal
Vignette du fichier
sn-article.pdf (230.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04482394 , version 1 (31-05-2024)

Licence

Identifiants

  • HAL Id : hal-04482394 , version 1

Citer

Aly-Bora Ulusoy, Emmanuel Haucourt. Strict refinement property of connected loop-free categories. 2024. ⟨hal-04482394⟩
5 Consultations
8 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More