karpal-higher 0.6.0

2-categories, enriched categories, and bicategories for the Industrial Algebra ecosystem
Documentation