U-closure operators and compactness (Q2432568): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Eraldo Giuli / rank | |||
Property / reviewed by | |||
Property / reviewed by: Dumitru Buşneag / rank | |||
Property / author | |||
Property / author: Eraldo Giuli / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Dumitru Buşneag / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10485-005-9001-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2042680157 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical Closure Operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Closure operators with respect to a functor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3130029 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: GLOBAL CLOSURE OPERATORS VS. SUBCATEGORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Closure operators. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4859897 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorically compact topological groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categories of continuous functors. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On classes of T0 spaces admitting completions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological functors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3877831 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Factorizations, Localizations, and the Orthogonal Subcategory Problem / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 22:10, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | U-closure operators and compactness |
scientific article |
Statements
U-closure operators and compactness (English)
0 references
25 October 2006
0 references
In this paper the authors introduce a notion of compactness in the following way: Let \({\mathcal A}\) be a category, \(\chi \) a finitely complete category with a proper \((\varepsilon ,{\mathcal M})\)-factorization structure for morphisms and \(U:{\mathcal A}\rightarrow \chi \) a functor. A pair \((A,m)\) with \(A\) object of \({\mathcal A}\) and \(m:M\rightarrow UA\) in \({\mathcal M}\) will be called a \(U\)-subobject of \(A\) (by \(sub_{U}A\) will be denoted the class of all \(U\)-subobjects of \(A).\) A \(U\)-closure operator \(c\) of \({\mathcal A}\) (with respect to \((\varepsilon ,{\mathcal M})\)) is a family of functions \(\{c_{A}:sub_{U}A\rightarrow sub_{U}A,A\in {\mathcal A}\}\) with the following properties that hold for each \(A\in {\mathcal A}\) and \(U\)-subobjects \(m\) and \(n\) of \(A:\) (a) \(m\leq c_{A}(m);\) (b) \(m\leq n\Rightarrow c_{A}(m)\leq c_{A}(n);\) (c) For each \(A\)-morphism \(A\rightarrow B,\) \(Uf(c_{A}(m))\leq c_{B}(Uf(m)).\) Given a \(U\)-closure operator \(c\) on \({\mathcal A},\) we say that a \(U\)-subobject \(m\) of an object \(A\) is \(c\)-closed (\(c\)-dense) if \(m=c_{A}(m)\) (\(m=c^{A}(m),\) equivalently, \(c_{A}(m)=id_{UA}\)). An \({\mathcal A}\)-morphism \(f:A\rightarrow B\) is called \(c\)-dense if \((Uf)(id_{UA})\) is \(c\)-dense. Let \(c\) be a \(U\)-closure operator \(c\) on \({\mathcal A}.\) An \({\mathcal A}\)-object \(A\) is called \(c\)-compact if the projection \(P_{B}:A\times B\rightarrow B\) is \(c\)-preserving for every \({\mathcal A}\)-object \(B.\) \(\text{Comp}(c)\) will denote the class of all \({\mathcal A}\)-objects that are \(c\)-compact. Even though this new notion shows very similar properties to compactness with respect to the classical notion of categorical closure operator, in general the two concepts are different. Examples are provided.
0 references
closure operator
0 references
compactness
0 references
factorization structure
0 references
faithful functor
0 references
separation
0 references