Fully implemented categories