GitHub repository: kamalsaleh/MonoidalCategories.jl
Primary language: Julia
Description: [READ-ONLY-SUBSPLIT] Monoidal and monoidal (co)closed categories in Julia