CAP_project
CAP_project copied to clipboard
two argument ListPrimitivelyInstalledOperationsOfCategory and ListInstalledOperationsOfCategory
Is it possible to have per category a list of construction "titles" like
[ "Kernel", "Cokernel", ...]
and two argument versions of
-
ListPrimitivelyInstalledOperationsOfCategory
-
ListInstalledOperationsOfCategory
where the second argument is a construction title
ListInstalledOperationsOfCategory( A, "Kernel" );
[ "KernelObject", "KernelObjectFunctorial",
"KernelEmbedding", "KernelEmbeddingWithGivenKernelObject",
"KernelLift", "KernelLiftWithGivenKernelObject" ]