1. Trail: Getting Started

This section provides everything you'll need to know about getting started with the Category Theory framework.

1.1. Introduction Capabiliteis of Catagory Theory framework.

1.2. User Interface in General Common features of user interface.

1.3 Formula Editor The formula editor user guide.

 

1.1. Introduction

This product is math category theory domain software with diagram graphical user interface. Domain objects contain objects, morphisms, diagrams, functors, direct and inverse limits. Software math categories contain vector spaces, modules over euclidean rings, finite sets, finitely generated commutative algebras. Fields contain algebraic fields, complex and real field, Galois fields. Functors contain tensor products, Hom, Ext, Tor functors. Additional features for present time contain Homology calculations.

 

1.2 User Interface in General

User interface contains desktop and paged toolbar.

Big squares on the desktop are objects and small ones are arrows (morphisms). If you wish to create an object, press toolbar button and then click left button on the desktop. Wheter you wish to create an arrow press toolbar button and drag mouse form source object to target one. To open properies editor of given object or arrow you should mouse right click on the square. Shift + Mouse click on the square results to object or arrow selection (unselection). If you press   button then you can select a group of objects by Mouse drag. 

1.3 Formula Editor

The formula editor enables to enter formulas for objects and morphisms. Next picture shows the view of the editor.

There are following rules for formula editing. Click mouse on a necessary symbol. Then drag symbol to necessary place. Click mouse once again after gray cursor appears. Double click sets the symbol behind former set symbol. If you set exponent then drag symbol to the right top of  the base. If you set the logarithm base then drag to the right bottom of the base. If you want to delete symbol then set the mouse cursor on it and click the mouse after gray cursor appears. You can construct a graph pressing the "Construct" button and clear it pressing "Clear". You can use a school formula notation. For example the  sinx , cos2x are accepted.