The notion of semifunctor between categories, due to [9], is defined as a functor that does not necessarily preserve identities. In this paper, we study how several properties of functors, such as fullness, full faithfulness, separability, natural fullness, can be formulated for semifunctors. Since a full semifunctor is actually a functor, we are led to introduce a notion of semifullness (and then semifull faithfulness) for semifunctors. In order to show that these conditions can be derived from requirements on the hom-set components associated with a semifunctor, we look at "semisplitting properties" for seminatural tranformations and we investigate the corresponding properties for morphisms whose source or target is the image of a semifunctor. We define the notion of naturally semifull semifunctor and we characterize natural semifullness for semifunctors that are part of a semiadjunction in terms of semisplitting conditions for the unit and counit attached to the semiadjunction. We study the behavior of semifunctors with respect to (semi)separability and we prove Rafael-type Theorems for (semi)separable semifunctors and a Maschke-type theorem for separable semifunctors. We provide examples of semifunctors on which we test the properties considered so far.
On (naturally) semifull and (semi)separable semifunctors / Bottegoni, Lucrezia. - In: JOURNAL OF ALGEBRA AND ITS APPLICATIONS. - ISSN 0219-4988. - ELETTRONICO. - (In corso di stampa). [10.1142/s0219498825502111]
On (naturally) semifull and (semi)separable semifunctors
Bottegoni, Lucrezia
In corso di stampa
Abstract
The notion of semifunctor between categories, due to [9], is defined as a functor that does not necessarily preserve identities. In this paper, we study how several properties of functors, such as fullness, full faithfulness, separability, natural fullness, can be formulated for semifunctors. Since a full semifunctor is actually a functor, we are led to introduce a notion of semifullness (and then semifull faithfulness) for semifunctors. In order to show that these conditions can be derived from requirements on the hom-set components associated with a semifunctor, we look at "semisplitting properties" for seminatural tranformations and we investigate the corresponding properties for morphisms whose source or target is the image of a semifunctor. We define the notion of naturally semifull semifunctor and we characterize natural semifullness for semifunctors that are part of a semiadjunction in terms of semisplitting conditions for the unit and counit attached to the semiadjunction. We study the behavior of semifunctors with respect to (semi)separability and we prove Rafael-type Theorems for (semi)separable semifunctors and a Maschke-type theorem for separable semifunctors. We provide examples of semifunctors on which we test the properties considered so far.File | Dimensione | Formato | |
---|---|---|---|
semifunctors-accepted.pdf
embargo fino al 20/03/2025
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
Pubblico - Tutti i diritti riservati
Dimensione
549.05 kB
Formato
Adobe PDF
|
549.05 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
semifunctors-published-version.pdf
accesso riservato
Tipologia:
2a Post-print versione editoriale / Version of Record
Licenza:
Non Pubblico - Accesso privato/ristretto
Dimensione
621.31 kB
Formato
Adobe PDF
|
621.31 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/2992251