Index

AddMultiplicationForMorphisms, for IsCapCategory, IsFunction 3.1-1
    for IsCapCategory, IsFunction, IsInt 3.1-1
AddReverseDifferential, for IsCapCategory, IsFunction 3.1-2
    for IsCapCategory, IsFunction, IsInt 3.1-2
AddReverseDifferentialWithGivenObjects, for IsCapCategory, IsFunction 3.1-3
    for IsCapCategory, IsFunction, IsInt 3.1-3
IsMorphismInCategoryOfLenses, for IsCapCategoryMorphism 2.1-2
IsObjectInCategoryOfLenses, for IsCapCategoryObject 2.1-1