{
localUrl: '../page/examination_through_isomorphism.html',
arbitalUrl: 'https://arbital.com/p/examination_through_isomorphism',
rawJsonUrl: '../raw/64t.json',
likeableId: '0',
likeableType: 'page',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
pageId: 'examination_through_isomorphism',
edit: '3',
editSummary: '',
prevEdit: '2',
currentEdit: '3',
wasPublished: 'true',
type: 'wiki',
title: 'Examination through isomorphism',
clickbait: '',
textLength: '3020',
alias: 'examination_through_isomorphism',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'KevinClancy',
editCreatedAt: '2016-12-01 00:22:14',
pageCreatorId: 'LukeSciarappa',
pageCreatedAt: '2016-09-16 00:52:20',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '1',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '148',
text: '[4f4 Isomorphism] is the correct notion of equality between objects in a [4cx category]. From the category-theoretic point of view, if you want to distinguish between two objects which are isomorphic but not equal, it means that the morphisms in your category don't preserve whatever aspect of the objects allows you to make this distinction, and hence the category doesn't really capture what you want to be working with. If you want to talk about it categorically, you should consider a category with morphisms that preserve all of the structure you care about, including whatever allowed the distinction to be made.\n\nFor example (this example is due to [Qiaochu Yuan](https://www.quora.com/In-what-sense-are-topological-spaces-a-generalization-of-metric-spaces/answer/Qiaochu-Yuan-1)), consider the category with objects [metric_space metric spaces], and morphisms [continuous_function continuous maps]. The diameter of a metric space $(X,d)$, which is the maximum value of $d(x,y)$ for $x,y \\in X$, is a feature of metric spaces which is not invariant under isomorphism in this category; for example, the subsets $[0,1]$ and $[0,2]$ of $\\mathbb{R}$, equipped with the usual metrics inherited from $\\mathbb{R}$, are isomorphic in this category. There is a continuous map $f : [0,1] \\to [0,2]$ and a continuous map $g : [0,2] \\to [0,1]$ such that $fg$ and $gf$ are identities. For example, one could take $f$ to be multiplication by $2$, and $g$ to be division by $2$. However, the diameter of $[0,1]$ is $1$, and the diameter of $[0,2]$ is $2$. Therefore, insofar as "diameter" is a property of metric spaces, the objects of these categories are not metric spaces. The correct name for them is "metrizable spaces", since this category is [equivalence_of_categories equivalent] to the category whose objects are topological spaces whose topology is induced by some metric and whose morphisms are continuous maps.\n\nFor a less realistic (but more obvious) example, consider the category of [3gd groups] and arbitrary functions between their [3gz underlying sets]. The objects of this category are, supposedly, groups, but properties of groups, such as "simple", do not respect isomorphism in this category.\n\nAnother example of this is the [4mj product] of, say, sets. It determines a functor $\\text{Set}\\times\\text{Set}\\to\\text{Set}$. We would like to say that this is [3h4 associative], but this is false; a typical element of $A \\times (B \\times C)$ looks like $(a,(b,c))$, while a typical element of $(A \\times B) \\times C$ looks like $((a,b),c)$. Since these sets have different elements, they are not [618 equal]. However, they are [4f4 isomorphic]. In fact, the two functors $\\text{Set}\\times\\text{Set}\\times\\text{Set}\\to\\text{Set}$ given by $(A,B,C) \\mapsto A \\times (B \\times C)$ and $(A,B,C) \\mapsto (A \\times B) \\times C$ are isomorphic in the category of functors $\\text{Set}\\times\\text{Set}\\times\\text{Set}\\to\\text{Set}$. That is, they are naturally isomorphic. [todo: link to a "natural isomorphism" page]',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '2',
maintainerCount: '2',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'false',
proposalEditNum: '0',
permissions: {
edit: {
has: 'false',
reason: 'You don't have domain permission to edit this page'
},
proposeEdit: {
has: 'true',
reason: ''
},
delete: {
has: 'false',
reason: 'You don't have domain permission to delete this page'
},
comment: {
has: 'false',
reason: 'You can't comment in this domain because you are not a member'
},
proposeComment: {
has: 'true',
reason: ''
}
},
summaries: {},
creatorIds: [
'LukeSciarappa',
'KevinClancy'
],
childIds: [],
parentIds: [
'math'
],
commentIds: [],
questionIds: [],
tagIds: [
'start_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [],
subjects: [],
lenses: [],
lensParentId: '',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '3739',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '20527',
pageId: 'examination_through_isomorphism',
userId: 'KevinClancy',
edit: '3',
type: 'newEdit',
createdAt: '2016-12-01 00:22:14',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19877',
pageId: 'examination_through_isomorphism',
userId: 'LukeSciarappa',
edit: '2',
type: 'newEdit',
createdAt: '2016-10-07 03:49:24',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19639',
pageId: 'examination_through_isomorphism',
userId: 'EricRogstad',
edit: '0',
type: 'newTag',
createdAt: '2016-09-16 04:31:37',
auxPageId: 'start_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19638',
pageId: 'examination_through_isomorphism',
userId: 'EricRogstad',
edit: '0',
type: 'newParent',
createdAt: '2016-09-16 04:31:18',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '3517',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '19636',
pageId: 'examination_through_isomorphism',
userId: 'LukeSciarappa',
edit: '1',
type: 'newEdit',
createdAt: '2016-09-16 00:52:20',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}