Permalink
Browse files

Fix some formulations and formatting in docs.

Cosmetic fixes mostly.
  • Loading branch information...
1 parent cd926f2 commit bb7e1a7cbc3d62f9190ab8b5e920eceab5767f06 @scolobb committed Jun 11, 2012
Showing with 9 additions and 9 deletions.
  1. +1 −1 doc/src/modules/categories.txt
  2. +8 −8 sympy/categories/baseclasses.py
@@ -10,7 +10,7 @@ The category theory module for SymPy will allow manipulating diagrams
within a single category, including drawing them in TikZ and deciding
whether they are commutative or not.
-The module is yet in its pre-embryonic stage.
+The module is still in its pre-embryonic stage.
Base Class Reference
--------------------
@@ -2,13 +2,13 @@
Dummy, Tuple)
class Class(Set):
- """
- The base class for any kind of class in set-theoretic sense.
+ r"""
+ The base class for any kind of class in the set-theoretic sense.
In axiomatic set theories, everything is a class. A class which
- can is a member of another class is a set. A class which is not a
- member of another class is a proper class. The class {1, 2} is a
- set; the class of all sets is a proper class.
+ can be a member of another class is a set. A class which is not a
+ member of another class is a proper class. The class `\{1, 2\}`
+ is a set; the class of all sets is a proper class.
This class is essentially a synonym for :class:`sympy.core.Set`.
The goal of this class is to assure easier migration to the
@@ -401,9 +401,9 @@ class Category(Basic):
respect to composition, and the sets `\hom(A, B)` are pairwise
disjoint.
- This class nothing about its objects and morphisms. Concrete
- cases of (abstract) categories should be implemented as classes
- derived from this one.
+ This class knows nothing about its objects and morphisms.
+ Concrete cases of (abstract) categories should be implemented as
+ classes derived from this one.
Certain instances of :class:`Diagram` can be asserted to be
commutative in a :class:`Category` by supplying the argument

0 comments on commit bb7e1a7

Please sign in to comment.