User contributions for NightRa

26 September 2016

• 13:1513:15, 26 September 2016 diff hist −3‎ m Epic Equalizer is Isomorphism ‎No edit summary
• 13:1413:14, 26 September 2016 diff hist +1,129‎ N Epic Equalizer is Isomorphism ‎ Created page with "== Theorem == Let $\mathbf C$ be a metacategory. Let $e: E \to C$ be the equalizer of two Definition:Morphism|morphism..."
• 13:0813:08, 26 September 2016 diff hist +16‎ N Category:Books/Topos Theory ‎ Created page with "{{BookCategory}}" current
• 13:0813:08, 26 September 2016 diff hist 0‎ m Book:Robert Goldblatt/Topoi: The Categorical Analysis of Logic ‎No edit summary
• 13:0813:08, 26 September 2016 diff hist −72‎ Book:Robert Goldblatt/Topoi: The Categorical Analysis of Logic ‎No edit summary
• 13:0713:07, 26 September 2016 diff hist +794‎ N Book:Robert Goldblatt/Topoi: The Categorical Analysis of Logic ‎ Created page with "{{Book|Topoi - The Categorical Analysis of Logic|1984|||Robert Goldblatt}} === Subject Matter === * Definition:Topoi - The Categorical Analysis of Logic|Topoi - The Catego..."

13 July 2016

• 16:5216:52, 13 July 2016 diff hist +267‎ Talk:Cayley's Theorem (Category Theory) ‎ Correct notation, continue question.
• 13:4913:49, 13 July 2016 diff hist +82‎ m Talk:Cayley's Theorem (Category Theory) ‎ Add signature
• 13:4813:48, 13 July 2016 diff hist +224‎ Talk:Cayley's Theorem (Category Theory) ‎ Discussion: probable issue with the proof

11 October 2014

• 18:5718:57, 11 October 2014 diff hist −176‎ Definition:Isomorphism (Category Theory) ‎ Transclude the definition of an inverse morphism.
• 18:5318:53, 11 October 2014 diff hist 0‎ Definition:Inverse Morphism ‎ Correct a mistake
• 18:5218:52, 11 October 2014 diff hist +10‎ Definition:Inverse Morphism ‎ Prepare page for transclusion in Definition:Isomorphism
• 18:4518:45, 11 October 2014 diff hist 0‎ Definition talk:Isomorphism (Category Theory) ‎No edit summary
• 18:4518:45, 11 October 2014 diff hist +192‎ Definition talk:Isomorphism (Category Theory) ‎No edit summary
• 18:3818:38, 11 October 2014 diff hist +3‎ Definition talk:Isomorphism (Category Theory) ‎No edit summary
• 18:3818:38, 11 October 2014 diff hist +364‎ N Definition talk:Isomorphism (Category Theory) ‎ Created page with "Someone added a WIP to transclude 'Inverse Morphism' into 'Isomoprhism'. Aren't the two more or less synonym? If so, I think it would be better to say in the definition of 'Is..."

10 October 2014

• 08:1308:13, 10 October 2014 diff hist +7‎ Definition:Inverse Morphism ‎ Make the object in the identity morphism explicit.

7 October 2014

• 09:2309:23, 7 October 2014 diff hist +46‎ Definition talk:Monoid Category ‎No edit summary

6 October 2014

• 20:0220:02, 6 October 2014 diff hist +234‎ N Definition talk:Monoid Category ‎ Created page with "The abuse of notation isn't clear at first glance. Maybe should paraphrase the composition explanation to 'is defined as the operation of the monoid'. --~~~~"
• 09:1309:13, 6 October 2014 diff hist +171‎ Definition:Preordering/Definition 2 ‎ Added an explanation for the notation.