Skip to content

Commit 811ccc5

Browse files
committed
reword paper reference
1 parent 8aadf2a commit 811ccc5

3 files changed

Lines changed: 3 additions & 2 deletions

File tree

.vscode/settings.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -124,6 +124,7 @@
124124
"injection",
125125
"injections",
126126
"injective",
127+
"injectivity",
127128
"Isbell",
128129
"Johnstone",
129130
"Kashiwara",

database/data/004_property-assignments/Met.sql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,7 @@ VALUES
117117
'Met',
118118
'exact filtered colimits',
119119
FALSE,
120-
'Remark 2.7 in <a href="https://arxiv.org/abs/2006.01399" target="_blank">this paper</a>'
120+
'See Remark 2.7 in <a href="https://arxiv.org/abs/2006.01399" target="_blank">Approximate injectivity and smallness in metric-enriched categories</a> by Adamek-Rosicky.'
121121
),
122122
(
123123
'Met',

database/data/004_property-assignments/Met_oo.sql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ VALUES
5757
'Met_oo',
5858
'exact filtered colimits',
5959
FALSE,
60-
'2.7 in <a href="https://arxiv.org/abs/2006.01399" target="_blank">this paper</a>'
60+
'See Remark 2.7 in <a href="https://arxiv.org/abs/2006.01399" target="_blank">Approximate injectivity and smallness in metric-enriched categories</a> by Adamek-Rosicky.'
6161
),
6262
(
6363
'Met_oo',

0 commit comments

Comments
 (0)