{
localUrl: '../page/function_codomain.html',
arbitalUrl: 'https://arbital.com/p/function_codomain',
rawJsonUrl: '../raw/3lg.json',
likeableId: '2488',
likeableType: 'page',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [
'EricRogstad'
],
pageId: 'function_codomain',
edit: '5',
editSummary: '',
prevEdit: '4',
currentEdit: '5',
wasPublished: 'true',
type: 'wiki',
title: 'Codomain (of a function)',
clickbait: '',
textLength: '1392',
alias: 'function_codomain',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'NateSoares',
editCreatedAt: '2016-05-14 05:12:41',
pageCreatorId: 'NateSoares',
pageCreatedAt: '2016-05-13 22:38:32',
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: '52',
text: 'The codomain $\\operatorname{cod}(f)$ of a [3jy function] $f : X \\to Y$ is $Y$, the set of possible outputs for the function. For example, the codomain of [3jv concat] is the set of all [3jr strings], and the codomain of the function $+$ is the set of all numbers.\n\nVisualizing a function as a map that takes every point in an input set to one point in an output set, the codomain is the output set (pictured on the right in blue in the image below).\n\n\n\nThe codomain of a function is not to be confused with the [3lh image] of a function, which is the set of points in $Y$ that can actually be reached by following $f$, and which may not include the whole set $Y$. For example, consider all the functions that take a [real_number real number] as input and produce another real number. Many of those functions cannot be made to produce every possible real number: For example, the function $\\operatorname{square} : \\mathbb R \\to \\mathbb R$ only produces non-negative numbers. For more on the distinction, see the page on [3lv codomain vs image].\n\n[fixme: Add a lens talking about how codomains are arbitrary but often natural/useful. Use example like how we can consider $+$ to have codomain $\\mathbb N$, $\\mathbb Z$, etc., and examples like Ackerman where the codomain "nat" makes by far the most sense (though "int" is fine too).]',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '1',
maintainerCount: '1',
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: [
'NateSoares'
],
childIds: [
'codomain_vs_image'
],
parentIds: [
'function'
],
commentIds: [
'3ll'
],
questionIds: [],
tagIds: [
'needs_clickbait_meta_tag',
'definition_meta_tag',
'needs_accessible_summary_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: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19175',
pageId: 'function_codomain',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-08-26 15:55:33',
auxPageId: 'needs_accessible_summary_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '17149',
pageId: 'function_codomain',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-07-19 02:20:21',
auxPageId: 'needs_clickbait_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10311',
pageId: 'function_codomain',
userId: 'NateSoares',
edit: '5',
type: 'newEdit',
createdAt: '2016-05-14 05:12:41',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10303',
pageId: 'function_codomain',
userId: 'NateSoares',
edit: '4',
type: 'newEdit',
createdAt: '2016-05-14 01:41:09',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10300',
pageId: 'function_codomain',
userId: 'NateSoares',
edit: '3',
type: 'newChild',
createdAt: '2016-05-14 01:37:54',
auxPageId: 'codomain_vs_image',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10246',
pageId: 'function_codomain',
userId: 'NateSoares',
edit: '3',
type: 'newEdit',
createdAt: '2016-05-13 23:17:43',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10238',
pageId: 'function_codomain',
userId: 'NateSoares',
edit: '2',
type: 'newParent',
createdAt: '2016-05-13 23:16:53',
auxPageId: 'function',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10236',
pageId: 'function_codomain',
userId: 'NateSoares',
edit: '2',
type: 'newTag',
createdAt: '2016-05-13 23:16:51',
auxPageId: 'definition_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10229',
pageId: 'function_codomain',
userId: 'NateSoares',
edit: '2',
type: 'newEdit',
createdAt: '2016-05-13 23:06:46',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '10226',
pageId: 'function_codomain',
userId: 'NateSoares',
edit: '1',
type: 'newEdit',
createdAt: '2016-05-13 22:38:32',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}