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.

Data and Resources

Additional Info

Field Value
Source ISSN: 0924-669X
Author Schwer, Sylviane, R.
Maintainer CCSD
Last Updated May 10, 2026, 02:29 (UTC)
Created May 10, 2026, 02:29 (UTC)
Identifier hal-00085183
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire d'Informatique de Paris-Nord (LIPN) ; Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)
creator Schwer, Sylviane, R.
date 2002-05-10T00:00:00
harvest_object_id 116697f6-ae39-4850-918c-05640b8df188
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-11-28T00:00:00
set_spec type:ART