{
localUrl: '../page/universal_property_outline.html',
arbitalUrl: 'https://arbital.com/p/universal_property_outline',
rawJsonUrl: '../raw/5wy.json',
likeableId: '3428',
likeableType: 'page',
myLikeValue: '0',
likeCount: '2',
dislikeCount: '0',
likeScore: '2',
individualLikes: [
'EricBruylant',
'StephanieZolayvar'
],
pageId: 'universal_property_outline',
edit: '17',
editSummary: '',
prevEdit: '14',
currentEdit: '17',
wasPublished: 'true',
type: 'wiki',
title: 'Project outline: Intro to the Universal Property',
clickbait: 'Outline detailing all the work required for a proposed Arbital Project',
textLength: '2137',
alias: 'universal_property_outline',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'PatrickStevens',
editCreatedAt: '2016-12-31 14:36:57',
pageCreatorId: 'EricRogstad',
pageCreatedAt: '2016-08-17 21:33:55',
seeDomainId: '0',
editDomainId: 'PaulChristiano',
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: '323',
text: '[summary: Category theory is famously very difficult to understand, even for people with a relatively high level of mathematical maturity. Universal properties are perhaps the easiest important theme of category theory.\n\nWith this project, we want to produce an explanation that will clearly communicate this core concept in category theory, the universal property, to a wide audience of learners.]\n\nCategory theory is famously very difficult to understand, even for people with a relatively high level of mathematical maturity. Universal properties are perhaps the easiest important theme of category theory.\n\nWith this project, we want to produce an explanation that will clearly communicate this core concept in category theory, the universal property, to a wide audience of learners.\n\nThis page is an outline for the project, the below links are to pages within its scope.\n\n1. The idea of [64t not caring about things except up to isomorphism].\n- [4f4]\n2. The idea that [5zt we can describe objects based entirely on how they interact with other objects].\n3. Introduce the [614 category of finite sets], describing the empty set, disjoint union and product\n- [3jz]\n- [5zy]\n- [5zc]\n- [5s8]\n- [5z9]\n- [5zs]\n4. Show how [5zr the empty set can be described entirely by its universal property].\n- [600]\n5. Show how [63m the union] and [5zv product can be described entirely by their universal properties], up to isomorphism.\n6. Introduce a specific [3rb poset] category: [ $\\mathbb{N}$ with an arrow between $a$ and $b$ iff $a$ divides $b$]. (Not sure about this one - maybe it already requires knowing what a category is?)\n7. Describe the least upper bound and greatest lower bounds in a poset; in particular, in $\\mathbb{N}$ under the divisibility relation, we obtain the GCD and the LCM.\n- A page (or two) about [-poset_least_upper_bound] and [-65z] (these actually already exist! [-3rc])\n8. Describe [poset_bound_universal_property the universal properties of the LUB and GLB]; compare them with the union and coproduct.\n9. Wrap up by [universal_property_in_the_wild explaining that this kind of property crops up all over the place].',
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: [
'EricRogstad',
'AlexeiAndreev',
'PatrickStevens',
'EricBruylant'
],
childIds: [],
parentIds: [
'universal_property_proposal',
'arbital_proposed_project'
],
commentIds: [
'5z0'
],
questionIds: [],
tagIds: [
'b_class_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: '21198',
pageId: 'universal_property_outline',
userId: 'PatrickStevens',
edit: '17',
type: 'newEdit',
createdAt: '2016-12-31 14:36:57',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19451',
pageId: 'universal_property_outline',
userId: 'EricBruylant',
edit: '14',
type: 'revertEdit',
createdAt: '2016-09-02 16:41:55',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19445',
pageId: 'universal_property_outline',
userId: 'EricBruylant',
edit: '15',
type: 'newEdit',
createdAt: '2016-09-02 00:07:32',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19120',
pageId: 'universal_property_outline',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newTag',
createdAt: '2016-08-25 04:31:05',
auxPageId: 'b_class_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19113',
pageId: 'universal_property_outline',
userId: 'AlexeiAndreev',
edit: '0',
type: 'newParent',
createdAt: '2016-08-25 04:29:37',
auxPageId: 'arbital_proposed_project',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19107',
pageId: 'universal_property_outline',
userId: 'EricBruylant',
edit: '14',
type: 'newEdit',
createdAt: '2016-08-24 21:30:53',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'clarified purpose of page, based on user feedback'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19091',
pageId: 'universal_property_outline',
userId: 'PatrickStevens',
edit: '13',
type: 'newEdit',
createdAt: '2016-08-24 07:14:56',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19080',
pageId: 'universal_property_outline',
userId: 'EricRogstad',
edit: '12',
type: 'newEdit',
createdAt: '2016-08-23 22:53:05',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Fixing typos'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19067',
pageId: 'universal_property_outline',
userId: 'EricRogstad',
edit: '11',
type: 'newEdit',
createdAt: '2016-08-23 21:59:41',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Updating the summary to include a description of the project'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19066',
pageId: 'universal_property_outline',
userId: 'AlexeiAndreev',
edit: '10',
type: 'newEdit',
createdAt: '2016-08-23 21:18:17',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19065',
pageId: 'universal_property_outline',
userId: 'EricRogstad',
edit: '9',
type: 'newEdit',
createdAt: '2016-08-23 21:06:22',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19063',
pageId: 'universal_property_outline',
userId: 'EricRogstad',
edit: '8',
type: 'newEdit',
createdAt: '2016-08-23 19:17:57',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Removing links to pages that won't be part of the project.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18824',
pageId: 'universal_property_outline',
userId: 'EricRogstad',
edit: '7',
type: 'newEdit',
createdAt: '2016-08-19 00:25:59',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Removing text about brainstorming -- the outline is complete.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18823',
pageId: 'universal_property_outline',
userId: 'AlexeiAndreev',
edit: '6',
type: 'newEdit',
createdAt: '2016-08-18 22:39:38',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18822',
pageId: 'universal_property_outline',
userId: 'AlexeiAndreev',
edit: '4',
type: 'newEdit',
createdAt: '2016-08-18 21:11:36',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18819',
pageId: 'universal_property_outline',
userId: 'PatrickStevens',
edit: '3',
type: 'newEdit',
createdAt: '2016-08-18 15:21:59',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18794',
pageId: 'universal_property_outline',
userId: 'AlexeiAndreev',
edit: '2',
type: 'newEdit',
createdAt: '2016-08-17 22:00:51',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18787',
pageId: 'universal_property_outline',
userId: 'EricRogstad',
edit: '0',
type: 'newParent',
createdAt: '2016-08-17 21:34:15',
auxPageId: 'universal_property_proposal',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '18785',
pageId: 'universal_property_outline',
userId: 'EricRogstad',
edit: '1',
type: 'newEdit',
createdAt: '2016-08-17 21:33:55',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}