CatDat

Unknown properties

There are 5 properties for which the database doesn't have an answer if they are satisfied or not. Please help to contribute the data!

• is finitary algebraic
• is locally finitely presentable
• is locally strongly finitely presentable
• is locally ℵ₁-presentable
• is split abelian

Special objects

• terminal object: trivial abelian sheaf
• initial object: trivial abelian sheaf
• products: section-wise defined direct product
• coproducts: associated sheaf to the section-wise direct sum

Special morphisms

• isomorphisms: morphisms of abelian sheaves that are bijective on every open set
• monomorphisms: morphisms of abelian sheaves that are injective on every open subset
• epimorphisms: morphisms of abelian sheaves $f : F \to G$ that are "locally surjective": for every local section $g \in G(U)$ there is an open covering $U = \bigcup_{i \in I} U_i$ such that each $g|_{U_i} \in G(U_i)$ is contained in the image of $f(U_i) : F(U_i) \to G(U_i)$.
• regular monomorphisms: same as monomorphisms
• regular epimorphisms: same as epimorphisms

Comments

• It is likely that neither of the currently remaining unknown properties (finitary algebraic, locally ℵ₁-presentable, split abelian, etc.) are satisfied for a generic space $X$, but we need to make this precise by adding additional requirements to $X$. Maybe we need to create separate entries for specific spaces $X$.