Formalizing Calendars with the Category of Ordinals

摘要

Starting from the basic notion of chronology, we provide a natural representation of calendars and appropriate tools for manipulating them, inside the framework of finite ordinals category. We show that calendars are closed under infimum and supremum operations but not under direct limits.