Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit d5d3a97

Browse files
committed
10668: improved description of the HomsetsOf class
1 parent 75615b5 commit d5d3a97

File tree

1 file changed

+5
-7
lines changed

1 file changed

+5
-7
lines changed

src/sage/categories/homsets.py

+5-7
Original file line numberDiff line numberDiff line change
@@ -134,13 +134,11 @@ class HomsetsOf(HomsetsCategory):
134134
"""
135135
Default class for homsets of a category.
136136
137-
This is used for structure categories that do not define a homsets
138-
category of their own.
139-
140-
This is needed because, unlike for covariant functorial
141-
constructions, we cannot represent the homset category of such a
142-
category by just the join of the homset categories of its super
143-
categories.
137+
This is used when a category `C` defines some additional structure
138+
but not an homset category of its own. Indeed, unlike for
139+
covariant functorial constructions, we cannot represent the homset
140+
category of `C` by just the join of the homset categories of its
141+
super categories.
144142
145143
EXAMPLES::
146144

0 commit comments

Comments
 (0)