https://intlibrary.ir/download/applications-of-categories-in-computer-science:-pr-94325-6531/