Reputation
6,811
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 7 29
Impact
~70k people reached

1d
revised How to introduce type theory to newcomer
deleted 170 characters in body
1d
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
Jul
4
revised On the category of Sets as an example of an algebraic category
Improved answer
May
19
revised What's the significance of defining group as a group object in category $\mathcal{Set}$?
added stuff
May
13
revised Unit for Left Adjoint to the Inclusion Functor
Fixed some typos (functor $i$ cannot be composed with object of the category $\mathbf{Set}/I$)
May
4
revised Natural transformation is a mono iff the components are.
Added some specifications
May
4
revised Natural transformation is a mono iff the components are.
Fixed a grammar error
Apr
11
revised Query on a simple exercise involving representations of functors.
Added specifications
Apr
10
revised When is $\langle x,y\rangle$ equal to $\langle x\rangle\langle xy\rangle$?
edited title