The Category Theory Framework 

Contents

• 1. Getting started
  • 1.1. Introduction
  • 1.2. User Interface in General
  • 1.3. Formula Editor
  
  
• 2. Objects and Morphisms
  • 2.1. Abelian groups
  • 2.2. Vector spaces
  • 2.3. Finitely generated algebras.
  • 2.4. Finite Sets
  
  
• 3. Functors
  • 3.1. Summary
  • 3.2 Example. (Calculation of Hom(Z/12Z + Z, -) Functor) 
  • 3.3. Other functors
  
  
• 4. Natural Transformations
  • 4.1 Summary
  • 4.2 Example of natural transformation calculation
  
  
• 5. Diagrams, Limits, Colimits
  • 5.1. Creating Diagram
  • 5.2. Creating (Co)limit
  • 5.3. Creating the Single Morphism from (to) (Co)limit
  
  
• 6. Homology
  • 6.1 Complexes and homology
  • 6.2 Complex morphism
  • 6.3 Exact sequences
  
  
• 7. Other features
  • 7.1 Composition of morphisms
  • 7.2 Commutativity checking
  • 7.3 Arrow restoration
  • 7.4 Tensor product of complexes
  • 7.5 Tensor product of morphisms
  • 7.6 Tensor product over algebra
  • 7.7 Arrow from tensor product