javascript as a category etc

[Vlad Patryshev]

http://johnbender.us/2012/02/29/faster-javascript-through-category-theory/

Thanks,
-Vlad

[Dan Piponi]

It starts off saying that Html is a category whose objects are the
elements of HTMLElement. But HTMLElement is actually a monoid whose
elements are the functions HTMLElement -> HTMLElement. You can
consider this as a category, but it's the single object category with
object HTMLElement. So it's a bit of a confused article ...
--
Dan

On Sun, Mar 4, 2012 at 9:21 AM, Vlad Patryshev <vpatr...@gmail.com> wrote:
> http://johnbender.us/2012/02/29/faster-javascript-through-category-theory/
>
> Thanks,
> -Vlad
>
> --
> You received this message because you are subscribed to the Google Groups
> "Bay Area Categories And Types" group.
> To post to this group, send email to ba...@googlegroups.com.
> To unsubscribe from this group, send email to
> bacat+un...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/bacat?hl=en.

[Vlad Patryshev]

Yes, this is discussed in one of the comments (and we can define it differently, having a forgetful functor to the HTMLElement monoid. The article is a little bit loose, but I really appreciated the approach.

Thanks,
-Vlad

[Vlad Patryshev]

Oh.

You are right. That's total nonsense there. I kind of skipped too much. I asked him, but I'm afraid the whole idea of having individual elements as objects and then js functions as morphisms is nonsense.

Sorry.
-Vlad

On Sun, Mar 4, 2012 at 9:26 AM, Dan Piponi <dpi...@gmail.com> wrote: