Showing 1–2 of 2 results for author: Cala, J C

A characterization of closed subfunctors through $3\times 3$-lemma property in extriangulated categories

Authors: Juan C. Cala, Shaira R. Hernández

Abstract: Given an extriangulated category $(\mathcal{C},\mathbb{E},\mathfrak{s})$, we introduce the $3 \times 3$-lemma property for subfunctors of $\mathbb{E}$ and prove that an additive subfunctor $\mathbb{F}$ of $\mathbb{E}$ is closed if, and only if, it satisfies this condition. This characterization extends a well known result by A. Buan (for abelian categories) to extriangulated categories. As an appl… ▽ More Given an extriangulated category $(\mathcal{C},\mathbb{E},\mathfrak{s})$, we introduce the $3 \times 3$-lemma property for subfunctors of $\mathbb{E}$ and prove that an additive subfunctor $\mathbb{F}$ of $\mathbb{E}$ is closed if, and only if, it satisfies this condition. This characterization extends a well known result by A. Buan (for abelian categories) to extriangulated categories. As an application of this result, we get a new equivalent condition to describe saturated proper classes $ξ$ in $\mathcal{C}$. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Comments: 10 pages

MSC Class: 18G80; 18G10; 18G25

An elementary proof of a criterion for subfunctors of Ext to be closed

Authors: Juan Camilo Cala

Abstract: Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if, and only if, $F$ has the $3\times 3$-lemma property, a certain diagrammatic property satisfied by the class of $F$-exact sequences. The proof of this result reli… ▽ More Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if, and only if, $F$ has the $3\times 3$-lemma property, a certain diagrammatic property satisfied by the class of $F$-exact sequences. The proof of this result relies on the theory of exact categories and on the Freyd--Mitchell embedding theorem, a very well-known overpowered result. In this paper we provide a proof of Buan's result only by means of elementary methods in abelian categories. To achieve this we survey the required theory of subfunctors leading us to a self-contained exposition of this topic. △ Less

Submitted 1 June, 2025; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: v4: 21 pages

MSC Class: 18E10; 18G15 (Primary) 18G99 (Secondary)