CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

two argument ListPrimitivelyInstalledOperationsOfCategory and ListInstalledOperationsOfCategory

Open mohamed-barakat opened this issue 9 years ago • 8 comments

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" ]

mohamed-barakat avatar Jan 17 '16 11:01 mohamed-barakat