Title of article
A database of categories
Author/Authors
Michael Fleming، نويسنده , , Ryan Gunther، نويسنده , , Robert Rosebrugh، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
9
From page
127
To page
135
Abstract
We describe a program which facilitates storage and manipulation of finitely-presented (FP) categories and finite-set valued functors. It allows storage, editing and recall of FP categories and functors. Several tools for testing properties of objects and arrows, and the computation of right and left Kan extensions are included. The program is written in ANSI C and is menu-based. Use of the program requires a basic knowledge of category theory.
Journal title
Journal of Symbolic Computation
Serial Year
2003
Journal title
Journal of Symbolic Computation
Record number
805677
Link To Document