User contributions for NightRa
Jump to navigation
Jump to search
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.