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

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
Jul
17
revised Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$
made some correction
Jul
17
revised Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$
Corrected the answer
Jul
16
revised Algebras of the environment monad
added 2 characters in body