arXiv Open Access 2024

Strict refinement property of connected loop-free categories

Aly-Bora Ulusoy Emmanuel Haucourt

Lihat Sumber

Abstrak

In this paper we study the strict refinement property for connected partial ordersalso known as Hashimoto's Theorem. This property implies that any isomorphismbetween products of irreducible structures is determined is uniquely determinedas a product of isomorphisms between the factors. This refinement implies asort of smallest possible decomposition for such structures. After a brief recallof the necessary notion we prove that Hashimoto's theorem can be extendedto connected loop-free categories, i.e. categories with no non-trivial morphismsendomorphisms. A special case of such categories is the category of connectedcomponents, for concurrent programs without loops.

Topik & Kata Kunci

math.CT

Penulis (2)

Aly-Bora Ulusoy

Emmanuel Haucourt

Format Sitasi

APA MLA BibTeX

Ulusoy, A., Haucourt, E. (2024). Strict refinement property of connected loop-free categories. https://arxiv.org/abs/2406.01106

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2024
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓