Category Semi-Formal