data-category-0.2.0: Restricted categories

Index - W

wrapData.Category.Adjunction