Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Implement CT Base Classes #1338

Merged
merged 57 commits into from Jun 18, 2012
Commits
Jump to file or symbol
Failed to load files and symbols.
+1,337 −1
Split
@@ -0,0 +1,46 @@
+Category Theory Module
@Krastanov

Krastanov Jun 10, 2012

Member

There is an effort to minimize the number of warnings generated by Sphinx. Could you check that the number of warnings with and without your new documentation stays the same (do not forget to run make clean between tests). Be aware that the warnings can come from docstrings and not from the txt files in the doc folder.

@scolobb

scolobb Jun 10, 2012

Contributor

I get 16 warnings in master and 16 in my branch.

+======================
+
+.. module:: sympy.categories
+
+Introduction
+------------
+
+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 general reference work this module tries to follow is
+
+ [JoyOfCats] J. Adamek, H. Herrlich. G. E. Strecker: Abstract and
+ Concrete Categories. The Joy of Cats.
+
+The latest version of this book should be available for free download
+from
+
+ katmat.math.uni-bremen.de/acc/acc.pdf
+
+The module is still in its pre-embryonic stage.
+
+Base Class Reference
+--------------------
+.. autoclass:: Object
+ :members:
+
+.. autoclass:: Morphism
+ :members:
+
+.. autoclass:: NamedMorphism
+ :members:
+
+.. autoclass:: CompositeMorphism
+ :members:
+
+.. autoclass:: IdentityMorphism
+ :members:
+
+.. autoclass:: Category
+ :members:
+
+.. autoclass:: Diagram
+ :members:
@@ -47,6 +47,7 @@ access any SymPy module, or use this contens:
utilities/index.txt
parsing.txt
physics/index.txt
+ categories.txt
Contributions to docs
---------------------
@@ -0,0 +1,22 @@
+"""
+Category Theory module.
+
+Provides some of the fundamental category-theory-related classes,
+including categories, morphisms, diagrams. Functors are not
+implemented yet.
+
+The general reference work this module tries to follow is
+
+ [JoyOfCats] J. Adamek, H. Herrlich. G. E. Strecker: Abstract and
+ Concrete Categories. The Joy of Cats.
+
+The latest version of this book should be available for free download
+from
+
+ katmat.math.uni-bremen.de/acc/acc.pdf
+
+"""
+
+from baseclasses import (Object, Morphism, IdentityMorphism,
+ NamedMorphism, CompositeMorphism, Category,
+ Diagram)
Oops, something went wrong.