diff --git a/databases/catdat/data/000_setup/001_clear.sql b/databases/catdat/data/000_setup/001_clear.sql index d75f0cfb..69638bbe 100644 --- a/databases/catdat/data/000_setup/001_clear.sql +++ b/databases/catdat/data/000_setup/001_clear.sql @@ -36,4 +36,6 @@ DELETE FROM functor_implication_source_assumptions; DELETE FROM functor_implication_target_assumptions; DELETE FROM functor_implications; +DELETE FROM category_property_comments; + PRAGMA foreign_keys = ON; \ No newline at end of file diff --git a/databases/catdat/data/001_categories/300_comments.sql b/databases/catdat/data/001_categories/300_comments.sql index 338adda3..899dd47f 100644 --- a/databases/catdat/data/001_categories/300_comments.sql +++ b/databases/catdat/data/001_categories/300_comments.sql @@ -40,10 +40,6 @@ VALUES 'Sh(X,Ab)', 'It is likely that neither of the currently remaining unknown properties (finitary algebraic, locally ℵ₁-presentable, CSP, 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$.' ), -( - 'M-Set', - 'If this category is semi-strongly connected depends on the choice of $M$. For $M = 1$ it is, for $M = \mathbb{Z}$ it is not. In general, if $G$ is a group, then $G{-}\mathbf{Set}$ is semi-strongly connected if and only if for all subgroups $H,K \subseteq G$, $H$ is subconjugated to $K$ or $K$ is subconjugated to $H$. If $G$ is abelian, this means that the poset of subgroups is linear, in which case $G$ is either isomorphic to $\mathbb{Z}/p^n$ or to $\mathbb{Z}/p^{\infty}$ for a prime $p$. See also MSE/5129804.' -), ( 'Meas', 'The thread MSE/5024471 asks for the finitely presentable objects of this category.' diff --git a/databases/catdat/data/003_category-property-assignments/FreeAb.sql b/databases/catdat/data/003_category-property-assignments/FreeAb.sql index 3be5d2a7..d5f1c3bb 100644 --- a/databases/catdat/data/003_category-property-assignments/FreeAb.sql +++ b/databases/catdat/data/003_category-property-assignments/FreeAb.sql @@ -84,4 +84,12 @@ VALUES 'sequential colimits', FALSE, 'See MO/509715.' +); + +INSERT INTO category_property_comments (category_id, property_id, comment) +VALUES +( + 'FreeAb', + 'accessible', + 'The question if this category is accessible is undecidable in ZFC. See MSE/720885.' ); \ No newline at end of file diff --git a/databases/catdat/data/003_category-property-assignments/M-Set.sql b/databases/catdat/data/003_category-property-assignments/M-Set.sql index 812c3567..829fe2d3 100644 --- a/databases/catdat/data/003_category-property-assignments/M-Set.sql +++ b/databases/catdat/data/003_category-property-assignments/M-Set.sql @@ -41,3 +41,11 @@ VALUES FALSE, 'We know that $\mathbf{Set}$ does not have this property. Now use the contrapositive of the dual of this lemma applied to the functor $\mathbf{Set} \to M{-}\mathbf{Set}$ that equips a set with the trivial $M$-action.' ); + +INSERT INTO category_property_comments (category_id, property_id, comment) +VALUES +( + 'M-Set', + 'semi-strongly connected', + 'If this category is semi-strongly connected depends on the choice of $M$. For $M = 1$ it is, for $M = \mathbb{Z}$ it is not. In general, if $G$ is a group, then $G{-}\mathbf{Set}$ is semi-strongly connected if and only if for all subgroups $H,K \subseteq G$, $H$ is subconjugated to $K$ or $K$ is subconjugated to $H$. If $G$ is abelian, this means that the poset of subgroups is linear, in which case $G$ is either isomorphic to $\mathbb{Z}/p^n$ or to $\mathbb{Z}/p^{\infty}$ for a prime $p$. See also MSE/5129804.' +); \ No newline at end of file diff --git a/databases/catdat/migrations/015_property_comments.sql b/databases/catdat/migrations/015_property_comments.sql new file mode 100644 index 00000000..2bd07ac4 --- /dev/null +++ b/databases/catdat/migrations/015_property_comments.sql @@ -0,0 +1,8 @@ +CREATE TABLE category_property_comments ( + category_id TEXT NOT NULL, + property_id TEXT NOT NULL, + comment TEXT NOT NULL, + PRIMARY KEY (category_id, property_id), + FOREIGN KEY (category_id) REFERENCES categories (id) ON DELETE CASCADE, + FOREIGN KEY (property_id) REFERENCES category_properties (id) ON DELETE CASCADE +); \ No newline at end of file diff --git a/src/components/PropertyList.svelte b/src/components/PropertyList.svelte index ec8f091e..680c131a 100644 --- a/src/components/PropertyList.svelte +++ b/src/components/PropertyList.svelte @@ -9,16 +9,17 @@ reason?: string | null }[] type?: 'category' | 'functor' + reason_heading?: string } - let { properties, type = 'category' }: Props = $props() + let { properties, type = 'category', reason_heading }: Props = $props() {#if properties.length}