The IFF Site Map

• architecture
• requirements
• metastack
• Cantor
• simplification
• code
• metashell
• introduction
• (IFF-IFF) – iff namespace
• (IFF-KIND) – kind namespace
• (IFF-TYPE) – type namespace
• (IFF-META) – meta namespace
• natural part
• pure aspect
• core component
• (IFF-CORE) – generic Core (Set Theory) meta-ontology
• structure component
• (IFF-CAT) – generic Category Theory (meta) Ontology
• (IFF-2CAT) – generic 2-Category Theory (meta) Ontology
• applied aspect
• generic component
• (IFF-INS) – generic Institution Theory (meta) Ontology
• specific component
• (IFF-FOL) – specific First Order Logic (meta) Ontology
• (IFF-OBJ) – specific Ontology (meta) Ontology
• object level
• grammar
• syntax summary
• lexical syntax
• grammatical syntax
• code examples