Improved browsing on the Sage export
Search box
For each category, display:
-
all axioms satisfied by the category -
all axioms defined by the category (may require more info in the export) -
all structures of the category -
all methods defined / implemented / inherited (triaged for parents / elements / morphisms) -
direct subcategories -
category graph
For each axiom, display
-
the category defining that axiom -
all categories implementing that axiom
Idem for functorial constructions