{
  localUrl: '../page/empty_set_universal_property.html',
  arbitalUrl: 'https://arbital.com/p/empty_set_universal_property',
  rawJsonUrl: '../raw/5zr.json',
  likeableId: '3444',
  likeableType: 'page',
  myLikeValue: '0',
  likeCount: '4',
  dislikeCount: '0',
  likeScore: '4',
  individualLikes: [
    'EricBruylant',
    'VladArber',
    'JaimeSevillaMolina',
    'MarkChimes'
  ],
  pageId: 'empty_set_universal_property',
  edit: '22',
  editSummary: '',
  prevEdit: '21',
  currentEdit: '22',
  wasPublished: 'true',
  type: 'wiki',
  title: 'Universal property of the empty set',
  clickbait: 'The empty set can be characterised by how it interacts with other sets, rather than by any explicit property of the empty set itself.',
  textLength: '14293',
  alias: 'empty_set_universal_property',
  externalUrl: '',
  sortChildrenBy: 'likes',
  hasVote: 'false',
  voteType: '',
  votesAnonymous: 'false',
  editCreatorId: 'PatrickStevens',
  editCreatedAt: '2016-08-27 18:29:32',
  pageCreatorId: 'PatrickStevens',
  pageCreatedAt: '2016-08-25 07:37:31',
  seeDomainId: '0',
  editDomainId: 'AlexeiAndreev',
  submitToDomainId: '0',
  isAutosave: 'false',
  isSnapshot: 'false',
  isLiveEdit: 'true',
  isMinorEdit: 'false',
  indirectTeacher: 'false',
  todoCount: '0',
  isEditorComment: 'false',
  isApprovedComment: 'true',
  isResolved: 'false',
  snapshotText: '',
  anchorContext: '',
  anchorText: '',
  anchorOffset: '0',
  mergedInto: '',
  isDeleted: 'false',
  viewCount: '2057',
  text: '[summary: The [-5zc] can be characterised by how it interacts with *other* [3jz sets], rather than by the usual definition as "the set that contains no elements". It therefore makes a very concrete example of defining an object through its [-600]. The property is: \n\n> The empty set is the unique set $X$ such that for every set $A$, there is a unique function from $X$ to $A$.\n(To bring this property in line with our usual definition, we denote that unique set $X$ by the symbol $\\emptyset$.)\n]\n\n[summary(Technical): The [-5zc] $\\emptyset$ satisfies the following [-600]: for every [3jz set] $X$, there is a unique [-3jy] $f: \\emptyset \\to X$. That is, the empty set is an [-initial_object] in the [4cx category] of sets.]\n\nTo start us off, recall that the [-5zc] $\\emptyset$ is usually defined as the [3jz set] which contains no elements.\nThat property picks it out uniquely, because we have the "[axiom_of_extensionality Axiom of Extensionality]":\n\n> Two sets are the same if and only if their elements are all the same.\n\nIf we had two sets which both contained no elements, then all their elements would ([vacuous_truth vacuously]) be the same, so by extensionality the sets are the same.\n\nIn this article, we will introduce another way to characterise the empty set.\nRather than working with the *elements of the set*, though, we will consider the *[3jy functions] which have the set as their [3js domain]*.\nYou might think at first that this is a very strange way to look at a set; and you might be right. But it turns out that if we do it this new way, characterising the empty set by examining the maps *between* sets %%note: "Map" is just a synonym for "function", in this context.%%, we end up with a recipe that is much, much more widely applicable.\n\n# The empty function\n\nWhen we use set theory to capture the idea of a "function", we would usually implement $f: A \\to B$ as a set of ordered pairs $(a, f(a))$, one for each element $a$ of the domain $A$, with the requirement that the elements $f(a)$ all must lie in $B$.\nThis set of ordered pairs holds all of the information about the function, except that it has omitted the (almost always unimportant) fact that $B$ is the [3lg codomain]. %%note:We usually only care about the [3lh image] of the function.%%\n\nThis implementation of the function $f$ is just a set; it might look like $\\{ (0,1), (1,2), (2,3), (3,4), \\dots \\}$, which would represent the function $f: \\mathbb{N} \\to \\mathbb{N}$ given by $n \\mapsto n+1$.\n\nAnd we might ask, can we go the other way round? Given a set $X$, can we interpret it as a function?\nWell, of course we need $X$ to contain only ordered pairs (what could it mean for $(0,1,2)$ to lie in the implementation of the function $f$?), but also we must make sure that the function is [-5ss] by ensuring that the first coordinates of each pair are all distinct.\nIf we had the set $\\{ (0,1), (0,2) \\}$, that would indicate a function that was trying to take $0$ to both $1$ and $2$, and that's ambiguous as a function definition.\nBut those are the *only* requirements: for any set that obeys those two conditions, we can find a function which is implemented as that set.\n\nVery well. Now look at the empty set.\nThat only contains ordered pairs: indeed, it doesn't contain anything at all, so everything in it is an ordered pair. %%note:If you're squeamish about this, see [vacuous_truth].%%\nAnd the first coordinates of each pair are distinct: indeed, there aren't any pairs at all, so certainly no two pairs have the same first coordinate.\n\nSo the empty set itself is implementing a function.\nWe call this the "empty function"; it is the [-identity_function] on the empty set. %%note:Don't get worried about the empty set representing a function that is the identity function on itself. To worry about this is to make a [type_error type error] in your thinking. The same object (the empty set) is here standing for two *different* things, under two different "encoding schemes". Under one encoding scheme, where we look at sets as being functions, it's the empty function. Under another encoding scheme, where we look at sets just as being sets, it's the empty set.%%\n\n## Meditation: domain, codomain and image\n\nIf the empty set implements a function, then that function should have a domain.\nWhat is the [-3js domain] here?\n%%hidden(Show solution):\nThe domain is the empty set.\n\nIndeed, there are no elements in the domain, because an *element of the domain* is just a *thing in the first coordinate of one of the ordered pairs*, but there aren't any ordered pairs so there can't be any elements of the domain. \n%%\n\nWhat is the [3lh image]?\n%%hidden(Show solution):\nThe image is also the empty set.\n\nIndeed, there are no elements in the image, because an *element of the image* is just a *thing in the second coordinate of one of the ordered pairs*, but there aren't any ordered pairs so there can't be any elements of the image. \n%%\n\nWhat is the [-3lg codomain]?\n%%hidden(Show solution):\nAha! Trick question. We said earlier that in looking at functions being implemented as sets, we threw away information about the codomain.\nWe can't actually tell what the codomain of the function implemented by $\\emptyset$ is.\n%%\n\n## Important fact\n\nFrom the domain/image/codomain meditation above, we can now note that for *every* set $A$, there is a function from $\\emptyset$ to $A$: namely, the empty function.\nPut another way, we can *always* interpret the empty set as being a function from $\\emptyset$ to $A$, whatever $A$ is.\n\n%%hidden(Example):\nLet $A = \\{ 1 \\}$, so we're showing that there is a function from $\\emptyset$ to $\\{1\\}$: namely, the empty function, which is implemented as a set by $\\emptyset$.\nThis is a valid implementation of a function from $\\emptyset$ to $\\{1\\}$, because $\\emptyset$ is a set which satisfies the three properties that are required for us to be able to interpret it as a function from the domain $\\emptyset$ to the codomain $\\{1\\}$:\n\n- Everything in $\\emptyset$ is an ordered pair ([vacuous_truth vacuously]).\n- Every ordered pair in $\\emptyset$ consists of one element from the domain $\\emptyset$, followed by one element from the codomain $\\{1\\}$ (again vacuously).\n- Every element of the domain $\\emptyset$ appears exactly once in the first slot of an ordered pair in the function-implementation $\\emptyset$. \n\n%%\n\nMoreover, for every set $A$, there is *only one* function from $\\emptyset$ to $A$.\nIndeed, if we had a different function $f: \\emptyset \\to A$, then there would have to be some element of the domain $\\emptyset$ on which $f$ differed from the empty function.\nBut there aren't *any* elements of the domain at all, so there can't be one on which $f$ and the empty function differ.\nHence $f$ is actually the same as the empty function.\n\n# The universal property of the empty set\n\nThe universal property of the empty set is as follows:\n\n> The empty set is the unique set $X$ such that for every set $A$, there is a unique function from $X$ to $A$.\nTo bring this property in line with our usual definition, we denote that unique set $X$ by the symbol $\\emptyset$.\n\nWe've just proved that our standard definition of $\\emptyset$ does satisfy that universal property; that was the Important Fact just above.\n\n## Aside: why "universal"?\n\nThe property is a "universal property" because it's not "local" but "universal".\nRather than considering the individual things we can say about the object $\\emptyset$, the property talks about it in terms of *every other set*.\nThat is, the property defines $\\emptyset$ by reference to the "universe" of sets.\n\nIn general, a "universal property" is one which defines an object by specifying some way that the object interacts with everything else, rather than by looking into the object for some special identifying feature.\n\n# Does the universal property uniquely pick out $\\emptyset$?\n\nI sneakily slipped the words "is the unique set" into the property, without proving that they were justified.\nWhat use would it be if our universal property didn't actually characterise the good old $\\emptyset$ we know and love?\n%%note:Well, it might still be of some use. But it would mean the universal property might not work as a *definition* of $\\emptyset$. %%\nLet's see now that at least the property isn't totally stupid: there is a set which *doesn't* have the universal property.\n\n## $\\{1\\}$ doesn't satisfy the universal property\n\nWe need to show that the following is *not* true:\n\n> For every set $X$, there is a unique function from $\\{1\\}$ to $X$.\n\nHave a think about this yourself.\n\n%%hidden(Show possible solution):\nLet $X$ be any set at all with more than one element.\nFor concreteness, let $X$ be $\\{ a, b \\}$.\n\nNow, there are two functions from $\\{1\\}$ to $\\{a,b\\}$: namely, $f: 1 \\mapsto a$, and $g: 1 \\mapsto b$.\n\nSo $\\{1\\}$ fails to satisfy the universal property of $\\emptyset$, and indeed it fails massively: for every set $X$ which has more than one element, there is more than one function $\\{1\\} \\to X$.\n(Though all we needed was for this to hold for *some* $X$.)\n%%\n\n## Only the empty set satisfies the universal property\n\nIt's actually the case that the empty set is the only set which satisfies the universal property.\n[603 There are three proofs], none of them very complicated and all of them pedagogically useful in different ways.\nHere, we will duplicate one of the most "category-theory-like" proofs, because it's really rather a new way of thinking to a student who has not met category theory before, and the style turns up all over category theory.\nTo distinguish it from the other two proofs (which, remember, are detailed [603 here]), we'll call it the "maps" proof.\n\n### The "maps" way\n\nWe'll approach this in a slightly sneaky way: we will show that if two sets have the universal property, then there is a [499 bijection] between them. %%note: The most useful way to think of "bijection" in this context is "function with an inverse".%%\nOnce we have this fact, we're instantly done: the only set which bijects with $\\emptyset$ is $\\emptyset$ itself.\n\nSuppose we have two sets, $\\emptyset$ and $X$, both of which have the universal property of the empty set.\nThen, in particular (using the UP of $\\emptyset$) there is a unique map $f: \\emptyset \\to X$, and (using the UP of $X$) there is a unique map $g: X \\to \\emptyset$.\nAlso there is a unique map $\\mathrm{id}: \\emptyset \\to \\emptyset$. %%note: We use "id" for "identity", because as well as being the empty function, it happens to be the identity on $\\emptyset$.%%\n\nThe maps $f$ and $g$ are inverse to each other. Indeed, if we do $f$ and then $g$, we obtain a map from $\\emptyset$ (being the domain of $f$) to $\\emptyset$ (being the image of $g$); but we know there's a *unique* map $\\emptyset \\to \\emptyset$, so we must have the composition $g \\circ f$ being equal to $\\mathrm{id}$.\n\nWe've checked half of "$f$ and $g$ are inverse"; we still need to check that $f \\circ g$ is equal to the identity on $X$.\nThis follows by identical reasoning: there is a *unique* map $\\mathrm{id}_X : X \\to X$ by the fact that $X$ satisfies the universal property %%note: And we know that this map is the identity, because there's always an identity function from any set $Y$ to itself.%%, but $f \\circ g$ is a map from $X$ to $X$, so it must be $\\mathrm{id}_X$.\n\nSo $f$ and $g$ are bijections from $\\emptyset \\to X$ and $X \\to \\emptyset$ respectively.\n\n# Recap\n\nTo summarise the discussion above, we have shown that the universal property of the empty set uniquely characterises the empty set.\nWe could actually use it as a *definition* of the empty set: \n\n> We define the *empty set* to be the unique set $X$ such that for every set $A$, there is a unique function from $X$ to $A$.\n\nThis is a bit of a strange definition when we're talking about sets, but it opens the door to many different and useful constructions.\nYou might like to think about the following similar universal properties, and what they define.\n\n- The set $X$ such that for every set $A$, there is a unique function from $A$ to $X$. (That is, the "reverse" of the empty set's UP.)\n- The [3gd group] $G$ such that for every group $H$, there is a unique [47t homomorphism] from $H$ to $G$.\n- The [3gq ring] $R$ such that for every ring $S$, there is a unique [ring_homomorphism homomorphism] from $R$ to $S$. (This one is more interesting!)\n\n## Aside: definition "up to isomorphism"\n\nWith universal properties, it is usually the case that we obtain a characterisation of objects only "up to [4f4 isomorphism]": the universal property doesn't care about bijections.\nIf the object $X$ satisfies a universal property, and the object $Y$ is isomorphic to $X$, then $Y$ will probably satisfy the universal property as well.\n(Normally this doesn't really matter, since objects which are isomorphic are "basically the same" in most of the ways we care about.)\n\nIn this case, though, we do end up with a uniquely-defined object, because it so happens that the only object isomorphic %%note: In this case, when talking about sets, "isomorphic to" means "bijecting with".%% to the empty set is the empty set itself.\n\nAn example where we *don't* end up with a uniquely-defined object is the "reverse" of the empty set's universal property: "the set $X$ such that for every set $A$, there is a unique function from $A$ to $X$". (You may have thought about this property in the previous section.)\nIn this case, the sets which satisfy that "reverse" universal property are exactly the sets with one element.\n\nYou should try to go through the "maps" way of showing that the universal property of the empty set picks out a unique set, but instead of using the UP of the empty set, try using the "reverse" property.\nThe same structure of proof will show that if two sets satisfy the "reverse" universal property, then there is a bijection between them.\nSo we do still retain that if two sets satisfy the "reverse" UP, then they are isomorphic; and indeed if we have two sets with one element, there really is a bijection between them (given by matching up the single element of each set).\n\nThis is a general phenomenon: most universal properties don't define an object uniquely, but they *do* give us the fact that if any two objects satisfy the universal property, then the two objects are isomorphic.',
  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: [
    'PatrickStevens',
    'EricBruylant'
  ],
  childIds: [
    'only_empty_set_satisfies_up_of_emptyset'
  ],
  parentIds: [
    'universal_property'
  ],
  commentIds: [],
  questionIds: [],
  tagIds: [
    'b_class_meta_tag',
    'empty_set'
  ],
  relatedIds: [],
  markIds: [],
  explanations: [],
  learnMore: [],
  requirements: [
    {
      id: '6400',
      parentId: 'math2',
      childId: 'empty_set_universal_property',
      type: 'requirement',
      creatorId: 'AlexeiAndreev',
      createdAt: '2016-09-15 21:19:57',
      level: '3',
      isStrong: 'true',
      everPublished: 'true'
    }
  ],
  subjects: [],
  lenses: [
    {
      id: '124',
      pageId: 'empty_set_universal_property',
      lensId: 'only_empty_set_satisfies_up_of_emptyset',
      lensIndex: '0',
      lensName: 'Uniqueness',
      lensSubtitle: '',
      createdBy: '267',
      createdAt: '2016-08-26 17:13:50',
      updatedBy: '267',
      updatedAt: '2016-08-26 17:14:02'
    }
  ],
  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: '19624',
      pageId: 'empty_set_universal_property',
      userId: 'AlexeiAndreev',
      edit: '0',
      type: 'deleteParent',
      createdAt: '2016-09-15 21:20:30',
      auxPageId: 'empty_set',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19622',
      pageId: 'empty_set_universal_property',
      userId: 'AlexeiAndreev',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-09-15 21:20:28',
      auxPageId: 'empty_set',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19621',
      pageId: 'empty_set_universal_property',
      userId: 'AlexeiAndreev',
      edit: '0',
      type: 'newRequirement',
      createdAt: '2016-09-15 21:19:57',
      auxPageId: 'math2',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19620',
      pageId: 'empty_set_universal_property',
      userId: 'AlexeiAndreev',
      edit: '0',
      type: 'deleteTag',
      createdAt: '2016-09-15 21:19:48',
      auxPageId: 'math2',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19319',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '22',
      type: 'newEdit',
      createdAt: '2016-08-27 18:29:32',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19318',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '21',
      type: 'newEdit',
      createdAt: '2016-08-27 18:26:14',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19192',
      pageId: 'empty_set_universal_property',
      userId: 'EricBruylant',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-08-26 19:04:23',
      auxPageId: 'math2',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '3446',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '1',
      dislikeCount: '0',
      likeScore: '1',
      individualLikes: [],
      id: '19191',
      pageId: 'empty_set_universal_property',
      userId: 'EricBruylant',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-08-26 19:03:20',
      auxPageId: 'b_class_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19190',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '20',
      type: 'newEdit',
      createdAt: '2016-08-26 18:16:13',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19189',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '19',
      type: 'newEdit',
      createdAt: '2016-08-26 18:14:42',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19188',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '17',
      type: 'newEdit',
      createdAt: '2016-08-26 17:45:49',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19187',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '16',
      type: 'newEdit',
      createdAt: '2016-08-26 17:42:01',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19185',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '15',
      type: 'newEdit',
      createdAt: '2016-08-26 17:13:01',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: 'Add explicit statement of UP to the summary'
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19183',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '0',
      type: 'newChild',
      createdAt: '2016-08-26 17:12:04',
      auxPageId: 'only_empty_set_satisfies_up_of_emptyset',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19181',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '14',
      type: 'newEdit',
      createdAt: '2016-08-26 17:06:29',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19180',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '13',
      type: 'newEdit',
      createdAt: '2016-08-26 17:00:09',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: 'Remove initial heading; it wasn't necessary anyway'
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19179',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '12',
      type: 'newEdit',
      createdAt: '2016-08-26 16:59:22',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19178',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '11',
      type: 'newEdit',
      createdAt: '2016-08-26 16:58:47',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: 'Range -> image'
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19177',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '10',
      type: 'newEdit',
      createdAt: '2016-08-26 16:02:54',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '3443',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '1',
      dislikeCount: '0',
      likeScore: '1',
      individualLikes: [],
      id: '19176',
      pageId: 'empty_set_universal_property',
      userId: 'EricBruylant',
      edit: '9',
      type: 'newEdit',
      createdAt: '2016-08-26 15:58:17',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19172',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '0',
      type: 'newParent',
      createdAt: '2016-08-26 14:11:41',
      auxPageId: 'universal_property',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19164',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '8',
      type: 'newEdit',
      createdAt: '2016-08-26 12:47:34',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19162',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '0',
      type: 'deleteTag',
      createdAt: '2016-08-26 12:42:27',
      auxPageId: 'stub_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19156',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '7',
      type: 'newEdit',
      createdAt: '2016-08-26 07:50:56',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19155',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '6',
      type: 'newEdit',
      createdAt: '2016-08-26 07:35:39',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19151',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '5',
      type: 'newEdit',
      createdAt: '2016-08-25 22:55:40',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19150',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '4',
      type: 'newEdit',
      createdAt: '2016-08-25 22:49:49',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19149',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '3',
      type: 'newEdit',
      createdAt: '2016-08-25 22:49:26',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19148',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '2',
      type: 'newEdit',
      createdAt: '2016-08-25 22:37:50',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19123',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '0',
      type: 'newParent',
      createdAt: '2016-08-25 07:37:33',
      auxPageId: 'empty_set',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '19124',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-08-25 07:37:33',
      auxPageId: 'stub_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '3436',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '1',
      dislikeCount: '0',
      likeScore: '1',
      individualLikes: [],
      id: '19121',
      pageId: 'empty_set_universal_property',
      userId: 'PatrickStevens',
      edit: '1',
      type: 'newEdit',
      createdAt: '2016-08-25 07:37:31',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    }
  ],
  feedSubmissions: [],
  searchStrings: {},
  hasChildren: 'true',
  hasParents: 'true',
  redAliases: {},
  improvementTagIds: [],
  nonMetaTagIds: [],
  todos: [],
  slowDownMap: 'null',
  speedUpMap: 'null',
  arcPageIds: 'null',
  contentRequests: {}
}