This repository was archived by the owner on Jan 30, 2023. It is now read-only.
File tree 2 files changed +7
-7
lines changed
2 files changed +7
-7
lines changed Original file line number Diff line number Diff line change @@ -938,14 +938,14 @@ class of ``C`` will be inherited by *all* subcategories of
938
938
939
939
EXAMPLES:
940
940
941
- Let's take a homset of finite commutative group as example; at
941
+ Let's take a homset of finite commutative groups as example; at
942
942
this point this is the simplest one to create (gosh)::
943
943
944
944
sage: cat = Groups().Finite().Commutative()
945
945
sage: C3 = PermutationGroup([(1,2,3)])
946
- sage: C3._refine_category_(Groups().Finite().Commutative() )
946
+ sage: C3._refine_category_(cat )
947
947
sage: C2 = PermutationGroup([(1,2)])
948
- sage: C2._refine_category_(Groups().Finite().Commutative() )
948
+ sage: C2._refine_category_(cat )
949
949
sage: H = Hom(C3, C2, cat)
950
950
sage: H.homset_category()
951
951
Category of finite commutative groups
Original file line number Diff line number Diff line change @@ -135,10 +135,10 @@ class HomsetsOf(HomsetsCategory):
135
135
Default class for homsets of a category.
136
136
137
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.
138
+ but not a homset category of its own. Indeed, unlike for covariant
139
+ functorial constructions, we cannot represent the homset category
140
+ of `C` by just the join of the homset categories of its super
141
+ categories.
142
142
143
143
EXAMPLES::
144
144
You can’t perform that action at this time.
0 commit comments