We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3f84162 commit 7507a4eCopy full SHA for 7507a4e
1 file changed
database/data/001_categories.sql
@@ -226,7 +226,7 @@ VALUES
226
'$0$',
227
'no objects',
228
'no morphisms',
229
- 'This is the category with no objects and no morphisms. It is the initial object in the category of small categories.',
+ 'This is the category with no objects and no morphisms. It is the initial object in the category of (small) categories.',
230
'https://ncatlab.org/nlab/show/empty+category'
231
),
232
(
0 commit comments