#18175: Implement categories for topological and metric spaces and related
categories
-------------------------------------+-------------------------------------
       Reporter:  tscrim             |        Owner:  tscrim
           Type:  enhancement        |       Status:  new
       Priority:  major              |    Milestone:  sage-6.6
      Component:  categories         |   Resolution:
       Keywords:  geometry,          |    Merged in:
  topology                           |    Reviewers:
        Authors:  Travis Scrimshaw   |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  68b85e9898949b1d9707f5d62c467e7fa2467da9
  public/categories/topological_metric_spaces-18175|     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by tscrim):

 * commit:   => 68b85e9898949b1d9707f5d62c467e7fa2467da9
 * branch:   => public/categories/topological_metric_spaces-18175


Comment:

 I've implemented a bunch of stub categories as an overall layout guide. My
 method stubs and documentation will need to be expanded upon, including
 adding (more) tests, along with lifting methods from the hyperbolic
 geometry module. There is currently an abuse of `Finite` for CW complexes
 as they are not typically finite as sets (in fact, the only finite CW
 complexes are a finite collection of 0-cells), but the terminology is
 finite CW complex meaning a finite number of cells.

 Eric, hopefully this is enough to get you started on what you'd want/need
 for !SageManifolds. I probably won't work much more on this for a while.
 ----
 New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=77b801c6de17159081eea9a1c3fdc4952bf4288a
 77b801c]||{{{Inital stubs}}}||
 
||[http://git.sagemath.org/sage.git/commit/?id=0e78e25fbd6bee9af1bf5606411f8146075b739f
 0e78e25]||{{{Implement generic functorial construction base class
 magic.}}}||
 
||[http://git.sagemath.org/sage.git/commit/?id=96547d24b9d0217d98eb476b1254451897be859a
 96547d2]||{{{Merge branch 'public/categories/functorial_magic-18174' into
 public/categories/topological_metric_spaces-TBA}}}||
 
||[http://git.sagemath.org/sage.git/commit/?id=bdb08fb0e246e3d9937ca67762dde3baa4d43725
 bdb08fb]||{{{Some cleanup and getting category stubs ready.}}}||
 
||[http://git.sagemath.org/sage.git/commit/?id=68b85e9898949b1d9707f5d62c467e7fa2467da9
 68b85e9]||{{{Adding some more stubs for categories.}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/18175#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to