Sage issues
https://gl.mathhub.info/ODK/Sage/-/issues
2017-10-28T13:42:19Z
https://gl.mathhub.info/ODK/Sage/-/issues/1
Improved browsing on the Sage export
2017-10-28T13:42:19Z
Nicolas M. ThiƩry
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 / impl...
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