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

Nov
24
comment System of generators and surjective homomorphism
@MartinBrandenburg ops... thanks for pointing out, I'm going to edit immediately.
Nov
24
answered System of generators and surjective homomorphism
Nov
23
revised Homotopy Groups for Categories
deleted 4 characters in body
Nov
23
answered Homotopy Groups for Categories
Nov
23
comment Homotopy Groups for Categories
I wouldn't dare to call this constuction $\pi_1$ of a category, mainly because this is structure distinguish an n-tuple of composable arrows in the category and their composite....
Nov
21
comment Why is this not a category?
A little add: if instead one consider the families $mor_{\mathbb P}(O,Q)$ of decreasing monotone functions these data do not form a category.... well not in the natural way.
Nov
21
answered Why is this not a category?
Sep
30
awarded  Explainer
Sep
23
awarded  Revival
Sep
8
accepted Category of pointed manifolds
Sep
8
asked Category of pointed manifolds
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
comment Proof completion: if $Y$ is a closed term in strong nf, then $Yx$ weakly reduces to a strong nf $Z$
@RoyO. After a deep reading of the book you cited above I think I've finally found a solution to your problem, take a look and let me know if it's not clear :)
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
comment Algebras of the environment monad
@MartinBrandenburg aaaaaah I see now. I'm sorry I've misread the question, anyway since it seems that the OP seems interested I think it would better leave it....
Jul
16
revised Algebras of the environment monad
added 2 characters in body
Jul
16
comment Algebras of the environment monad
@JeffRussell yes, because $(-)^E \circ (-)^E={(-)^E}^E$ so by the isomorphism ${(-)^E}^E \cong (-)^{E \times E}$ (a.k.a. the exponential law) we get the monad structure.
Jul
15
comment Algebras of the environment monad
@MartinBrandenburg The OP asked "Is there a more natural way to describe these things?" I presented such monad as the image of the comonoid through the yoneda embedding, isn't it a different way to describe the monad?
Jul
15
answered Algebras of the environment monad
Jul
14
answered Action of factor group on a group