There are two types of data files that are used by the Category Theory Database Tools program. They are Category Files and Functor Files. A sample Category File can be viewed HERE. A sample Functor File can be viewed HERE.A sample Functor to SET File can be viewed HERE.

• List of Category Files



• List of Functor Files



• List of Functor to SET Files