Formalizing Calendars with the Category of Ordinals

Sylviane R. Schwer (1)

1 LIPN - Laboratoire d'Informatique de Paris-Nord

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.

Mots clés: time; chronology; calendar; temporal granularity; finite ordinals tcategory

Domaines: Mathématique discrète [cs.DM]

Sylviane R. Schwer. Formalizing Calendars with the Category of Ordinals. Applied Intelligence, 2002, 17 (3), pp.275-295. ⟨hal-00085183⟩