Reputation
7,421
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 31
Newest
 Necromancer
Impact
~84k people reached

Jul
12
revised When the unit of a universal property is an isomorphism
Made a correction
Jul
3
revised A functor preserves a product of $A$ and $B$ iff $F(A \times B) \cong F(A) \times F(B)$?
added 37 characters in body
Jul
3
revised A functor preserves a product of $A$ and $B$ iff $F(A \times B) \cong F(A) \times F(B)$?
added 270 characters in body
Jun
23
revised Category of sets and multi-valued functions
corrected and equation
Jun
23
revised Proving consistency by constructing models? How and why?
Improved answer
Jun
22
revised Does mathematics become circular at the bottom? What is at the bottom of mathematics?
Improved the answer
Jun
20
revised Iterating until a diagram commutes
made a correction in a formula
Jun
20
revised How to introduce type theory to newcomer
improved grammar
May
19
revised Homology of wedge sum is the direct sum of homologies
Made minor corrections
May
19
revised Homology of wedge sum is the direct sum of homologies
rolled back to a previous revision
Apr
24
revised How to introduce type theory to newcomer
deleted 170 characters in body
Apr
24
revised How to introduce type theory to newcomer
Make narrower and precise the question
Mar
26
revised Limit as universal arrow
Made a correction
Jan
19
revised How to introduce type theory to newcomer
added details in order to address more specific issues.
Jan
19
revised How to introduce type theory to newcomer
deleted 238 characters in body
Jan
7
revised How to introduce type theory to newcomer
added specifications
Jan
7
revised No group of order $400$ is simple - clarification
Fixed a little typo in the title.
Jan
6
revised How to introduce type theory to newcomer
English corrections
Nov
24
revised System of generators and surjective homomorphism
added 75 characters in body
Nov
23
revised Homotopy Groups for Categories
deleted 4 characters in body