Categorical Library

• Sigma with auto projections
• Modules: algebra, cat, fun, topos, ab, kraus
• LaTeX paper [LIPIcs]
• Improved Huber rules
• Support for PartialP primitive
• Improved reduction rules for hypercubes