GitHub repository: FumitakaIwaki/CategoryModule.jl
Primary language: Julia
Created: 2024-12-11T13:34:21Z
Description: A module of applied basic category theory in the Julia language