2024-07-102024-07-102024-07-101201-561Xhttps://infoscience.epfl.ch/handle/20.500.14299/103956Theory And Applications Of Categories