{
localUrl: '../page/category_theory.html',
arbitalUrl: 'https://arbital.com/p/category_theory',
rawJsonUrl: '../raw/4c7.json',
likeableId: '2687',
likeableType: 'page',
myLikeValue: '0',
likeCount: '4',
dislikeCount: '0',
likeScore: '4',
individualLikes: [
'EricBruylant',
'KevinClancy',
'JaimeSevillaMolina',
'EnriqueGavidia'
],
pageId: 'category_theory',
edit: '56',
editSummary: '',
prevEdit: '53',
currentEdit: '56',
wasPublished: 'true',
type: 'wiki',
title: 'Category theory',
clickbait: 'How mathematical objects are related to others in the same category.',
textLength: '20558',
alias: 'category_theory',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'DanielSatanove',
editCreatedAt: '2016-10-21 00:30:34',
pageCreatorId: 'MarkChimes',
pageCreatedAt: '2016-06-15 06:49:41',
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: '325',
text: '[summary: \n**Category theory** studies the abstraction of mathematical objects (such as [3jz sets], [3gd groups], and [topology topological spaces]) in terms of the [4d8 morphisms] between them. ]\n\n[summary(technical):\nA **[-4cx category]** consists of a\ncollection of [-object_category_theory objects] and a collection of [-4d8 morphisms] (also called arrows). To each morphism $f$ is associated a pair of objects: $\\text{dom}(f)$ which is the **source** or [domain_of_function **domain**] and $\\text{cod}(f)$ which is the **target** or [codomain_of_function **codomain**] of $f$. If $\\text{dom}(f) = X$ and $\\text{cod}(f) = Y$, this is written $f: X \\rightarrow Y$.\n\nThese morphisms must satisfy three conditions:\n\n 1. [Composition_of_functions **Composition**]: For any two morphisms $f: X \\rightarrow Y$ and $g: Y \\rightarrow Z$, there exists a morphism $X \\rightarrow Z$, written as $g \\circ f$ or simply $gf$. \n 2. [3h4 **Associativity**]: For any morphisms $f: X \\rightarrow Y$, $g: Y \\rightarrow Z$ and $h:Z \\rightarrow W$ composition is associative, i.e., $h(gf) = (hg)f$.\n 3. [identity_map **Identity**]: For any object $X$, there is a (unique) morphism, $1_X : X \\rightarrow X$ which, when composed with another morphism, leaves it unchanged. I.e., given $f:W \\rightarrow X$ and $g:X \\rightarrow Y$ it holds that: $1_X f = f$ and $g 1_X = g$.\n]\n\n[summary(motivation):\nMany mathematical constructions (such as [-product_mathematics products]) appear across different fields of mathematics, consisting of different ingredients but nevertheless capturing a similar idea (and often even under the same name). Category theory allows one to precisely describe the property that these different constructions all at once. This allows one to prove [-theorem theorems] about all these structures at once. Hence, once you prove that a specific mathematical structure is, say, a product, then all the category-theoretic theorems about products are true for that structure. In fact, sometimes there are structures which non-obviously satisfy a category-theoretic property. Especially when [duality_category_theory category-theoretic duality] is involved.\n\nIn addition, category theory allows the simple description of [-functor functors], [-natural_transformation natural transformations] and [-adjunction adjunctions]. These are mathematically powerful concepts which are very difficult to describe without the language of category theory. In fact, one of the founders of category theory, [Saunders Mac Lane](https://en.wikipedia.org/wiki/Saunders_Mac_Lane), has remarked that category theory was initially developed in order to provide a language in which to speak about natural transformations.\n\nPowerfully, functors and adjunctions between categories allow one to translate concepts from one mathematical theory to another. They provide a "translation" (either full or partial) that allows one type of object to be viewed as another, and theorems to be translated across domains. In fact, using [-duality_cateory_theory duality], very non-obvious translations can be found because a theorem in one category can be translated to its "opposite theory" in the other category. Connections which are not obvious in the language of the mathematical theories themselves, become clear in the language of category theory. \n]\n\n**Category theory** studies the abstraction of mathematical objects (such as [3jz sets], [3gd groups], and [topology topological spaces]) in terms of the [4d8 morphisms] between them. Such a collection of objects and morphisms is a [4cx category]. Morphisms often represent [3jy functions]. For example, in the category of sets, morphisms represent all functions, in the category of groups they represent group homomorphism and in the category of topological spaces, they represent [continuous continuous] maps.\n\nCategories are usually drawn as diagrams with the objects represented by variables or points with (labeled) arrows between them representing morphisms. For this reason, morphisms are also referred to as arrows.\n\nMorphisms do not have to represent functions. For example, any [3rb partially ordered set] $(P, \\leq)$ may be seen as a category where the objects are the elements of the poset and there is a (unique) morphism $x \\rightarrow y$ between two elements $x$ and $y$ if and only if $x \\leq y$.\n\n## Definition ##\nA **category** consists of a\ncollection of [-object_category_theory objects] and a collection of [-4d8 morphisms]. A morphism $f$ goes from one object, say $X$, to another, say $Y$, and is drawn as an arrow from $X$ to $Y$. Note that $X$ may equal $Y$ (in which case $f$ is referred to as an [endomorphism **endomorphism**]). The object $X$ is called the **source** or [domain_of_function **domain**] of $f$ and $Y$ is called the **target** or [codomain_of_function **codomain**] of $f$. This is written as $f: X \\rightarrow Y$.\n\nThese morphisms must satisfy three conditions:\n\n 1. [Composition_of_functions **Composition**]: For any two morphisms $f: X \\rightarrow Y$ and $g: Y \\rightarrow Z$, there exists a morphism $X \\rightarrow Z$, written as $g \\circ f$ or simply $gf$. \n 2. [3h4 **Associativity**]: For any morphisms $f: X \\rightarrow Y$, $g: Y \\rightarrow Z$ and $h:Z \\rightarrow W$ composition is associative, i.e., $h(gf) = (hg)f$.\n 3. [identity_map **Identity**]: For any object $X$, there is a (unique) morphism, $1_X : X \\rightarrow X$ which, when composed with another morphism, leaves it unchanged. I.e., given $f:W \\rightarrow X$ and $g:X \\rightarrow Y$ it holds that: $1_X f = f$ and $g 1_X = g$.\n\nNote that composition is written 'backwards' since given an element $x \\in X$ and two functions $f: X \\rightarrow Y$ and $g: Y \\rightarrow Z$, the result of applying $f$ then $g$ is $g(f(x))$ which equals $(g \\circ f)(x)$.\n\n\n## Motivation ##\n\nMany mathematical constructions (such as [-product_mathematics products]) appear across different fields of mathematics, consisting of different ingredients but nevertheless capturing a similar idea (and often even under the same name). Category theory allows one to precisely describe the property that these different constructions all at once. This allows one to prove [-theorem theorems] about all these structures at once. Hence, once you prove that a specific mathematical structure is, say, a product, then all the category-theoretic theorems about products are true for that structure. In fact, sometimes there are structures which non-obviously satisfy a category-theoretic property. Especially when [duality_category_theory category-theoretic duality] is involved.\n\nIn addition, category theory allows the simple description of [-functor functors], [-natural_transformation natural transformations] and [-adjunction adjunctions]. These are mathematically powerful concepts which are very difficult to describe without the language of category theory. In fact, one of the founders of category theory, [Saunders Mac Lane](https://en.wikipedia.org/wiki/Saunders_Mac_Lane), has remarked that category theory was initially developed in order to provide a language in which to speak about natural transformations.\n\nPowerfully, functors and adjunctions between categories allow one to translate concepts from one mathematical theory to another. They provide a "translation" (either full or partial) that allows one type of object to be viewed as another, and theorems to be translated across domains. In fact, using [-duality_cateory_theory duality], very non-obvious translations can be found because a theorem in one category can be translated to its "opposite theory" in the other category. Connections which are not obvious in the language of the mathematical theories themselves, become clear in the language of category theory. \n\n##Categories Give an External View##\nAlthough the objects and morphisms of a category are intended to *represent* e.g. sets and functions, from the [-personification_of_mathematics point of view of the category] the objects and morphisms have no internal structure. It is not possible to talk directly about the elements of an object or how a given morphism maps elements. Instead (from the viewpoint of the category) the information about the objects and morphisms are given completely by which objects are sources and targets for the morphisms and how the morphisms are composed.\n\nIn fact, this is the strength of category theory: abstracting away the internal details allows one to focus only on relevant information and also capture information about multiple similar types of structures that act in a certain way across different mathematical theories.\n\nThis is similar to the way that a group abstracts away what elements are whilst only capturing the information of how they are 'added' or 'multiplied'.\n\nIt is also somewhat similar to the concept of a program's API (or an interface in Java); we can't see inside the program or know how it implements something, but we know what kind of inputs and outputs programs have, and what kinds of inputs and outputs a composition of such programs have.\n\nNote that since it abstracts something away, a category does not always capture enough information for one's purposes. For example, there is addition of group homomorphisms defined pointwise. For this purpose, other structures such as [enriched_category enriched categories] and [n_category n-categories] may be used. However, for many purposes, categories are at a very good between isomorphic objects. This is considered a feature of category theory.\n\n##Common Symbols: Convention##\nDifferent texts make use of different conventions. This site makes use of the following common convention:\n\n - Categories are written in blackboard bold upper-case letters and are usually near the beginning of the alphabet. E.g. $\\mathbb{A}, \\mathbb{B}, \\mathbb{C}$.\n - Objects are written as upper-case letters usually near the beginning or end of the alphabet. E.g. $A, B, C, W, X, Y, Z$.\n - Morphisms are labelled with lower-case letters, usually near f or near u. E.g. $e, f, g, h, u, v, w$.\n - Elements of an object, where necessary, are written as lower-case letters, usually near the beginning or end of the alphabet. E.g. $a, b, c, x, y, z$\n - Functors are written as upper-case letters usually near F. E.g. $E, F, G, H$.\n - Natural transformations are written as Greek letters, usually near the beginning of the alphabet. E.g. $\\alpha, \\beta, \\gamma, \\delta$.\n - The morphisms forming part of a cone or cocone for a limit or colimit are often written as Greek letters with subscripts, usually $\\kappa$ or $\\lambda$.\n\nThese conventions are merely guidelines and far from universally followed. Check the definition for the symbol in question to see what it represents\n\n##[-isomorphism_category_theory Isomorphisms in Category Theory]##\nIn category theory, [-4f4 isomorphic] objects are not distinguished. Many [-universal_constructions] do not pin down a [-specific_construction_category_theory specific construction] but instead only specify it [-isomorphism_category_theory up to isomorphism].\n\nDoing something in category theory which relies on a specific construction, that is, requiring objects to be equal instead of merely isomorphic, is colloquially referred to as [-evil_category_theory evil].\n\n##[-600 Universal Properties]##\nOne of the most important concepts in category theory is that of a [600 universal property]. An object in a category which satisfies a universal property is in a sense the 'best' (often meaning smallest or largest) object satisfying a certain property. This can often be used to describe in a universal way constructions like [4mj products] which are defined for multiple distinct structures. In category theory, it is defined once without referring to a specific construction. This definition can then be applied to multiple categories.\n\nThe simplest [trivial non-trivial] universal construction is the [terminal_object terminal object]. Given a category $\\mathbb{C}$, an object $T$ in $\\mathbb{C}$ is called a **terminal object** if, for any object $X$ in $\\mathbb{C}$, there is a [unique unique] morphism $f: X \\rightarrow T$. In other words there is some $f: X \\rightarrow T$ and if there is also $g: X \\rightarrow T$ then $f=g$. In the category of sets, the terminal objects are exactly the one element sets. Given a one element set $\\{a\\}$, and any set $X$, there is a unique morphism $f: X \\rightarrow \\{a\\}$, namely the function taking every $x$ in $X$ to $a$. In the category of groups, terminal objects are exactly one-element groups. Note that terminal objects need not exist. Consider a [poset_as_category poset seen as a category]. If it has a largest element $T$, then each object is less than or equal to $T$. So from each object there is a unique morphism to $T$ and hence it is terminal. If, however, there is no largest element then the category has no terminal object.\n\nAs another example, [4mj products] can be defined by a universal property: Given a pair of objects $X$ and $Y$, an object $P$ *along with a pair of morphisms* $f: P \\rightarrow X$ and $g: P \\rightarrow Y$ is called the **product** of $X$ and $Y$ if, given any other object $W$ and morphisms $u: W \\rightarrow X$ and $v:W \\rightarrow Y$ there is a *unique* morphism $h: W \\rightarrow P$ such that $fh = u$ and $gh = v$.\n\nThe above are both special cases of a very important and more general [-universal_construction universal construction]: the [-limit_category_theory limit]. This (along with the [-colimit_category_theory colimit]) is described in more detail further below.\n\n##[-duality_category_theory Duality]##\nFor any notion in a category, its **dual** is obtained by `reversing all the arrows' and 'reversing the order of composition'. If a statement is true in any category, then its dual is true in any category. As a [-corollary corollary], if a statement is true in some categories, its dual is true in the duals of those categories.\n\nAs an example, consider the definition of a [-terminal_object terminal object] given above. A statement about terminal object is that any two terminal objects are isomorphic. Let's examine the exact statement. Assume $T$ is terminal. Then for any $X$ there is unique $f: X \\rightarrow T$. If we reverse the arrows, we get that for every $X$ there is unique $f: X \\leftarrow T$. This is the definition of an [-initial_object initial object]. Consider another terminal object $T'$. The statement that $T'$ is isomorphic to $T$ is means that there is some $f: T \\rightarrow T'$ and $g: T' \\rightarrow T$ such that $gf = 1_T$ and $fg = 1_{T'}$. The dual of this is just the statement that there is some $f: T \\leftarrow T'$ and $g: T' \\leftarrow T$ such that $fg = 1_T$ and $gf = 1_{T'}$, this is exactly the same property! (The morphisms $f$ and $g$ have just been renamed). Hence, the dual of the statement that a terminal object is unique up to isomorphism is the statement that every initial object is unique up to isomorphism.\n\nSimilarly, if something is true for every category with an initial object, its dual will be true for every category with a terminal object.\n\nThe concept of duality can be a powerful way of obtaining new results which come easily within category theory, but which are not obvious in the theory to which category theory is being applied. As an advanced example, the category of [-boolean_algebra Boolean Algebras] is dual to the category of [-stone_space Stone Spaces]. See, [Stone Duality on Wikipedia](https://en.wikipedia.org/wiki/Stone's_representation_theorem_for_Boolean_algebras) for the motivation.\n\n[todo: Add better example(s) of duality]\n\n\n##[-Functor Functors]##\nA **functor** is a morphism between categories.\n\nGiven two categories $\\mathbb{A}$ and $\\mathbb{B}$, a functor $F$ from $\\mathbb{A}$ to $\\mathbb{B}$, written $F: \\mathbb{A} \\rightarrow \\mathbb{B}$ is defined as a pair of functions:\n\n - $F_0:$ Objects($\\mathbb{A}$) $\\rightarrow$ Objects($\\mathbb{B}$)\n - $F_1:$ Morphisms($\\mathbb{A}$) $\\rightarrow$ Morphisms($\\mathbb{B}$)\n\nWhich satisfy:\n\n 1.\nPreservation of domain and codomain: \nIf $f: X \\rightarrow Y$ then $F_1(f): F_0(X) \\rightarrow F_1(Y)$. (\nPut differently, \nDom($F_1(f)$) = $F_0$(Dom($f$)) and Cod($F_1(f)$) = $F_0$(Cod($f$)) for every morphism $f$. )\n\n 2. Preservation of Identity:\nIf the morphism $1_X: X \\rightarrow X$ is the identity on $X$, then the morphism $F_1(1_X): F_0(X) \\rightarrow F_0(X)$ is the identity on $F_0(X)$.\n\n 3. Preservation of composition:\nGiven morphisms $f: X \\rightarrow Y$ and $g: Y \\rightarrow Z$, then the composition of their images $F_1(g) \\circ F_1(f): F_0(X) \\rightarrow F_0(Z)$ is the image of their composition $F_1(g \\circ f): F_0(X) \\rightarrow F_0(Z)$.\n\nInstead of differentiating $F_0$ and $F_1$, they are usually both written simply as $F$. E.g. $F(f): F(X) \\rightarrow F(Y)$.\n\n##[-morphism_category_theory Properties of Morphisms]##\nMorphisms are the central objects of study in category theory. For this reason, properties of morphisms can be very important. \nA morphism $f: X \\rightarrow Y$ is called the following if it satisfies the given property:\n\n - **[-isomorphism_category_theory Isomorphism]:**\n ([-self_dual_category_theory Self-dual]) \n\nThere exists some $g: Y \\rightarrow X$ such that $gf = 1_X$ and $fg = 1_Y$.\n\nIntuitively, an isomorphism is a way of transforming from one object to another in a way that makes them indistinguishable using the information of the category.\n\n - **[-monomorphism Monomorphism]:** ([-duality_category_theory Dual] to epimorphic) \n\nFor any object $W$ and morphisms $g,h: W \\rightarrow X$, if $fg = fh$ then $g = h$.\n\nIntuitively, $f$ being a monomorphism indicates that *all of the information captured by the collection of morphisms into $X$ is preserved when composing by $f$*. It generalizes the notion of an [4b7 injective function], since in most [-concrete_category concrete categories] (like [-3jz sets], [-3gd groups], and [-topology topological spaces]) every injective map is a monomorphism. However, even in concrete categories (and certainly more generally), monomorphisms need not be injective. \n\n\n - **[-epimorphism Epimorphism]:** (Dual to monomorphic) \n\nFor any object $Z$ and morphisms $g,h: X \\rightarrow Z$, if $gf = hf$ then $g = h$.\n\nIntuitively, $f$ being an epimorphism indicates that *all the information captured by the collection of morphisms out of $Y$ is preserved when composing by $f$.*. It generalizes the notion of a [-4bg surjective function]. However, in an even stronger sense than for monomorphisms, a function being epimorphic and a function being surjective are far from equivalent.\n\nProperties that more closely match surjectivity include [-section_category_theory Section / Split Epimorphism], and [-regular_epimorphism regular epimorphism]. [-strict_epimorphism strict epimorphism], [-strong_epimorphism strong epimorphism], and [-extremal_epimorphism extremal epimorphism]. Note that despite the names, not all of these are necessarily epimorphisms, but are epimorphisms in "nice" categories. \n\n - **[-endomorphism Endomorphism]:** (Self-dual) \n\n$X = Y$, i.e., $f: X \\rightarrow X$.\n\nAn endomorphism is a morphism from an object to itself.\n\n - **[-automorphism Automorphism]:** (Self-dual) \n\nThe morphism $f$ is both an endomorphism and an isomorphism.\n\nAn automorphism is a morphism from a structure to itself that preserves all the information of the structure that is distinguishable by the category. Intuitively, it gives "another view" of a structure (say, by moving around its elements) that leaves it essentially unchanged.\n\n - **[-retraction_category_theory Retraction / Split Monomorphism]:** (Dual to split epimorphic) \n\nThere exists some $g: Y \\rightarrow X$ such that $gf = 1_X$\n\nA morphism is a **retraction** if its effect can be "reversed" or inverted by another morphism applied after it. For example, every injective map is a retraction. The morphism which inverts the retraction is a **section**.\n\n - **[-section_category_theory Section / Split Epimorphism]:** (Dual to split monomorphic) \n\nThere exists some $g: Y \\rightarrow X$ such that $fg = 1_Y$\n\nA morphism is a **section** if it "reverses" the effect of some other morphism applied before it. The morphism which is inverted is a **retraction**.\n\n##[-limit_category_theory Limits] and [-colimit_category_theory Colimits]##\n\n##[-universal_construction Further Universal Constructions]##\n\n##[-natural_transformation Natural Transformations]##\n\n##[-Constructions_on_categories Constructions on Categories]##\n\n##[-adjunction_category_theory Adjunctions and Adjoint Functors]##\n\n',
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: 'true',
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: [
'MarkChimes',
'JaimeSevillaMolina',
'EricBruylant',
'NateSoares',
'DanielSatanove'
],
childIds: [
'category_mathematics',
'category_theory_equaliser',
'product_category_theory',
'object_identity_via_interactions',
'universal_property',
'category_of_finite_sets'
],
parentIds: [
'math'
],
commentIds: [
'4c9',
'4cs',
'4cv',
'4d9',
'4fd',
'5dt'
],
questionIds: [],
tagIds: [
'group_mathematics',
'function',
'composition_of_group_homomorphisms_is_homomorphism',
'needs_image_meta_tag',
'work_in_progress_meta_tag',
'c_class_meta_tag'
],
relatedIds: [
'morphism',
'isomorphism'
],
markIds: [],
explanations: [],
learnMore: [],
requirements: [
{
id: '3947',
parentId: 'math1',
childId: 'category_theory',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '3953',
parentId: 'function',
childId: 'category_theory',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '4041',
parentId: 'morphism',
childId: 'category_theory',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '4042',
parentId: 'isomorphism',
childId: 'category_theory',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
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: '20197',
pageId: 'category_theory',
userId: 'DanielSatanove',
edit: '56',
type: 'newEdit',
createdAt: '2016-10-21 00:30:34',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19380',
pageId: 'category_theory',
userId: 'PatrickStevens',
edit: '0',
type: 'newChild',
createdAt: '2016-08-29 09:16:49',
auxPageId: 'category_of_finite_sets',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19317',
pageId: 'category_theory',
userId: 'EricBruylant',
edit: '0',
type: 'deleteTag',
createdAt: '2016-08-27 17:44:04',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19314',
pageId: 'category_theory',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-08-27 17:21:13',
auxPageId: 'c_class_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19168',
pageId: 'category_theory',
userId: 'PatrickStevens',
edit: '0',
type: 'newChild',
createdAt: '2016-08-26 14:11:11',
auxPageId: 'universal_property',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19131',
pageId: 'category_theory',
userId: 'PatrickStevens',
edit: '0',
type: 'newChild',
createdAt: '2016-08-25 09:37:43',
auxPageId: 'object_identity_via_interactions',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16605',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '0',
type: 'newTag',
createdAt: '2016-07-12 20:21:47',
auxPageId: 'needs_image_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16157',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '53',
type: 'newEdit',
createdAt: '2016-07-08 11:25:22',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16144',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '0',
type: 'deleteTag',
createdAt: '2016-07-08 10:54:32',
auxPageId: 'needs_technical_summary_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16142',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '0',
type: 'newTag',
createdAt: '2016-07-08 10:54:30',
auxPageId: 'needs_technical_summary_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14725',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '52',
type: 'newEdit',
createdAt: '2016-06-28 21:23:10',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14660',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '51',
type: 'newEdit',
createdAt: '2016-06-28 04:52:57',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '2864',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '14538',
pageId: 'category_theory',
userId: 'NateSoares',
edit: '47',
type: 'newEdit',
createdAt: '2016-06-24 03:55:37',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14315',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '46',
type: 'newEdit',
createdAt: '2016-06-21 22:27:50',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14299',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '44',
type: 'newEdit',
createdAt: '2016-06-21 21:59:28',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14298',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '43',
type: 'newEdit',
createdAt: '2016-06-21 21:55:48',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14251',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '39',
type: 'newEdit',
createdAt: '2016-06-21 05:01:41',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14250',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '38',
type: 'newEdit',
createdAt: '2016-06-21 05:00:47',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '14100',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '0',
type: 'newChild',
createdAt: '2016-06-20 14:33:38',
auxPageId: 'product_category_theory',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '2764',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '13936',
pageId: 'category_theory',
userId: 'PatrickStevens',
edit: '0',
type: 'newChild',
createdAt: '2016-06-18 15:45:49',
auxPageId: 'category_theory_equaliser',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13847',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '32',
type: 'newEdit',
createdAt: '2016-06-18 07:50:14',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13846',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '31',
type: 'newEdit',
createdAt: '2016-06-18 07:47:03',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13352',
pageId: 'category_theory',
userId: 'EricBruylant',
edit: '30',
type: 'newEdit',
createdAt: '2016-06-16 18:23:17',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13268',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '29',
type: 'newRequirement',
createdAt: '2016-06-16 05:54:44',
auxPageId: 'isomorphism',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13266',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '29',
type: 'newRequirement',
createdAt: '2016-06-16 05:54:34',
auxPageId: 'morphism',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13264',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '29',
type: 'newTag',
createdAt: '2016-06-16 05:54:01',
auxPageId: 'work_in_progress_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13231',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '29',
type: 'newUsedAsTag',
createdAt: '2016-06-16 04:02:52',
auxPageId: 'isomorphism',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13164',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '29',
type: 'newEdit',
createdAt: '2016-06-15 21:52:53',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13163',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '28',
type: 'newEdit',
createdAt: '2016-06-15 21:49:57',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13132',
pageId: 'category_theory',
userId: 'JaimeSevillaMolina',
edit: '27',
type: 'newUsedAsTag',
createdAt: '2016-06-15 20:21:37',
auxPageId: 'morphism',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13126',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '27',
type: 'newEdit',
createdAt: '2016-06-15 20:07:52',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13087',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '22',
type: 'newEdit',
createdAt: '2016-06-15 16:17:40',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13084',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '21',
type: 'newEdit',
createdAt: '2016-06-15 15:30:26',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13079',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '18',
type: 'newEdit',
createdAt: '2016-06-15 15:20:53',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13054',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '15',
type: 'newEdit',
createdAt: '2016-06-15 14:45:19',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13053',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '14',
type: 'newEdit',
createdAt: '2016-06-15 14:41:31',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13052',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '13',
type: 'newEdit',
createdAt: '2016-06-15 14:35:55',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13049',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '12',
type: 'newChild',
createdAt: '2016-06-15 14:29:38',
auxPageId: 'category_mathematics',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13047',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '12',
type: 'newEdit',
createdAt: '2016-06-15 14:26:11',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13045',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '10',
type: 'newEdit',
createdAt: '2016-06-15 14:22:09',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13044',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '9',
type: 'newEdit',
createdAt: '2016-06-15 14:20:26',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13029',
pageId: 'category_theory',
userId: 'JaimeSevillaMolina',
edit: '5',
type: 'newEdit',
createdAt: '2016-06-15 12:05:38',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12968',
pageId: 'category_theory',
userId: 'TsviBT',
edit: '4',
type: 'newParent',
createdAt: '2016-06-15 08:38:31',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12932',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '4',
type: 'newEdit',
createdAt: '2016-06-15 06:53:20',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12931',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '3',
type: 'newEdit',
createdAt: '2016-06-15 06:52:31',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12930',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '2',
type: 'newEdit',
createdAt: '2016-06-15 06:52:08',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12929',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '1',
type: 'newRequirement',
createdAt: '2016-06-15 06:50:53',
auxPageId: 'function',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12927',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '1',
type: 'newEdit',
createdAt: '2016-06-15 06:49:41',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12913',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '1',
type: 'newTag',
createdAt: '2016-06-15 06:17:13',
auxPageId: 'function',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12912',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '1',
type: 'newTag',
createdAt: '2016-06-15 06:17:03',
auxPageId: 'composition_of_group_homomorphisms_is_homomorphism',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12911',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '1',
type: 'newTag',
createdAt: '2016-06-15 06:16:44',
auxPageId: 'group_mathematics',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12910',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '1',
type: 'newRequirement',
createdAt: '2016-06-15 06:16:32',
auxPageId: 'math1',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '12909',
pageId: 'category_theory',
userId: 'MarkChimes',
edit: '1',
type: 'newTag',
createdAt: '2016-06-15 06:16:23',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {
improveStub: {
likeableId: '3712',
likeableType: 'contentRequest',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '159',
pageId: 'category_theory',
requestType: 'improveStub',
createdAt: '2016-11-20 04:57:05'
},
lessTechnical: {
likeableId: '3470',
likeableType: 'contentRequest',
myLikeValue: '0',
likeCount: '2',
dislikeCount: '0',
likeScore: '2',
individualLikes: [],
id: '70',
pageId: 'category_theory',
requestType: 'lessTechnical',
createdAt: '2016-08-29 03:07:19'
},
moreWords: {
likeableId: '4032',
likeableType: 'contentRequest',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '183',
pageId: 'category_theory',
requestType: 'moreWords',
createdAt: '2017-04-10 15:12:17'
}
}
}