Download USER GUIDE for GRAPHICAL DATABASE for CATEGORY

Table of Contents
Section 1: Introduction
– About GDCT
– Development Team
– Installation
– Directory Structure
Section 2: Categories and the File Menu
– Introduction
– Category File Types
– CAT File Format
– CGL File Format
– Creating Categories
– Opening Categories
– Downloading Categories
Section 3: Graphical Display of Categories
– Introduction
– Visual Display Controls
– View GML
– Saving Categories
– Adding Data
– Removing Data
Section 4: Category Tools
– Create Sum
– Create Product
– Coequalizer
– Epimorphism
– Equality of Composites
– Equalizer
– Initial Object
– Isomorphism
– Make Confluent
– Make Dual Category
– Monomorphism
– Partial Order
– Product
– Pullback
– Pushout
– Sum
– Terminal Object
Section 5: Functors and the File Menu_
– Introduction
_____