278 reputation
19
bio website andriy.drozdyuk.com
location New Brunswick, Canada
age 31
visits member for 3 years, 3 months
seen Apr 16 at 18:40

I like python, Scala, Haskell.
Did my undergrad in computer science at UofT.
Working as a developer at NRC and doing master's part time at UNB.


Jul
2
awarded  Curious
Feb
18
accepted How does expanding by Taylor's theorem work here?
Feb
18
comment How does expanding by Taylor's theorem work here?
Thank you! And wolfram has a similar explanation of this (Eq. 27).
Feb
14
comment How does expanding by Taylor's theorem work here?
Thank you, it's very helpful to know what the equivalent modern terminology is! One more silly question though, how does the Taylor theorem fit into here? I.e. what is it's purpose?
Feb
13
accepted What does Universal mapping property for a free monoid mean?
Feb
13
asked How does expanding by Taylor's theorem work here?
Nov
18
accepted Isn't every Endofunctor an identity Functor?
Nov
16
comment Isn't every Endofunctor an identity Functor?
@Brad I think I understand what you mean! (I think you should put it in an answer.) I am just finding it hard to keep track of where the category is used as a concrete entity (i.e. defined exactly by it's set of objects, morphisms etc) and where it is used as a "domain" or "range" for things (I guess that would only be in functors).
Nov
16
comment Isn't every Endofunctor an identity Functor?
@Brad Thanks, yes I meant $1$, fixed!
Nov
16
revised Isn't every Endofunctor an identity Functor?
edited body
Nov
15
revised Isn't every Endofunctor an identity Functor?
added 576 characters in body
Nov
15
comment What's the difference between an endofunctor and a morphism?
Great answer. But that describes the difference between morphisms and functors. Do you mind helping me distinguish between functors and endofunctors?
Nov
15
comment Isn't every Endofunctor an identity Functor?
So... you are saying simple reordering of objects... and then changing all morphisms to point to correct objects again. Wouldn't that still be an identity (kind of)? I mean what's the difference between ordering and a successor - aren't they the same?
Nov
15
comment Isn't every Endofunctor an identity Functor?
@camccann Perhaps I don't know what $X\mapsto \{0,1\}\times X$ means... could you explain?
Nov
15
comment Isn't every Endofunctor an identity Functor?
But... that changes the set of objects in the category, wouldn't that change the category $A$ to something like $A'$?
Nov
15
comment Isn't every Endofunctor an identity Functor?
But doesn't that change the set of "objects"? Now we only have one object! I thought category $A$ is only equal to another category $A$ if all objects and morphisms are the same?
Nov
15
asked Isn't every Endofunctor an identity Functor?
Nov
13
awarded  Quorum
Nov
13
accepted Why is free monoid called Free?
Nov
13
comment Why is free monoid called Free?
Sorry, I am not familiar with cyclic groups or what generation of them means :-( But I am glad I am beginning to understand this stuff. What say you to my comment above to @Bill that it is rather weird to call these monoids "free" - since they seem like regular ol' monoids. Why not call the monoids with additional constraints "constrained monoids" (for example) and leave the regular monoids be?