On lattice-like properties of orthoquaternary categories

Summary We point a class of categories for which necessary and sufficient conditions in order they have an orthodox quaternary symmetrization are expressible by means of lattice-like properties of subobjects, these one given by axiomsD1)-5). This implies that canonical isomorphisms between subquotients are composable and that Noether isomorphism theorems hold.

---

Riassunto Si individua una classe di categoric per le quali l’esistenza e l’ortodossia della simmetrizazione quaternaria è exprimibile mediante proprietà di tipo reticolare di sottooggetti, enunciate nella forma di assiomiD1)-5). Ciò garantisce la componibilità degli isomorfismi canonici tra subquozienti e la validità dei teoremi di isomorfismo di Noether.

---

---

Written while the authors were members of C.N.R. sec. G.N.S.A.G.A.