Principles and Categories for Recording Time