Changes between Version 62 and Version 63 of CategoriesRoadMap

Timestamp:

01/21/11 01:31:05 (2 years ago)

Author:

nthiery

Comment:

--

CategoriesRoadMap

@@ -203 +203 @@
   * Hom is *not* a functorial construction. This works for now, but
     the design and user interface needs to be discussed for the long
-    run implementation.
-  * What's the right inheritance structure for homsets?  Also, how
-    should one specify that a category's homsets are enriched in another
-    category?  Via a method like "enriched_in()" on the category?  By
-    extra_super_categories() in a custom HomCategory?
-
-    Current status: if B is a subcategory of A, we want
-    HomCategory(B).element_class to inherit from HomCategory(A), and a
-    coercion Hom(P1, P2, B) -> Hom(P1, P2, A). Such coercions cannot
-    be handled well by the standard coercion mechanism, as Hom(P1, P2,
-    Sets) will have *lot* of coercion sources. But Hom sets could have
-    special rules (like tensor products will have).
+    run implementation. See #10668.
 
   * Support for multivariate morphisms, i.e. morphisms (A x B) -> C
     where the specializations (A x b) -> C and and (a x B) -> C are
-    morphisms for possibly different categories (see #8900)
+    morphisms for possibly different categories (see also #8900)
   * Defining new inline operators, at least within the sage interpreter
   * Convention for the order in super_categories (see primer)