Formal category