Formalizing Calendars with the Category of Ordinals

  • Authors:
  • Sylviane R. Schwer

  • Affiliations:
  • L.I.P.N. UPRESA CNRS 7030, Institut Galilée, Université Paris 13, 99, Bd J-B Clément, Fr. 93430 Villetaneuse. schwer@lipn.univ-paris13.fr

  • Venue:
  • Applied Intelligence
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.