SFN:Main Page
MediaWiki has been successfully installed.
Consult the User's Guide for information on using the wiki software.
Getting started
A simple test page for MathML
We assume that the reader is familiar with the basic concepts such as categories, functors, natural transformations, etc. [see for example MacLane, 2000. For the more specialized concepts like categories with subobjects and related ideas, we follow Nambooripad, 1994. We begin by reviewing briefly the definition of categories with subobjects.