Skeleton (category theory): Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

2 February 2024

  • curprev 08:4908:49, 2 February 2024 imported>AndrejBauer 3,645 bytes +3,645 Definition: Say "isomoprhic objects are equal" instead of "no distinct objects are isomorphic" (easier to read, and valid in any topos as it does not rely on classical logic), and there is no need to regutirate definitions that we already link to.