Posts

Post has attachment

Public

Add a comment...

Post has attachment

Public

Add a comment...

Post has attachment

Public

Add a comment...

Post has attachment

Public

Add a comment...

Post has shared content

Public

Dan Thyer to present on Internet of Things at GSP Developers Guild Tuesday 8/19 http://gspdevelopers.org/august-19th-meeting/ …

Add a comment...

Post has attachment

Public

Here are a couple of extensions I added to knockout.

Add a comment...

Post has attachment

Public

Add a comment...

Post has attachment

Post has attachment

Public

**EDIT:**Since the talk section wasn't very active, I decided to correct the page.

I think the definition of 'unary operation' on Wikipedia is incorrect (or rather, incomplete).

It defines a unary operation as the function f: A → A. This means a value in the set of A results in another value in the set of A when the operator is applied. So, according to this definition, a unary operation must be an endofunctor (function mapping a type to the same type).

There are well-known operators that do not conform to this definition. For example, the length operator ||v|| produces a scalar value from a vector value. The operator's operand is a value in the set of vectors, and its result is the set non-negative real numbers.

The first sentence on the Wikipedia page is correct. Unfortunately, its 'specific definition' describes a specific subset of unary operations rather than specifying the actual meaning of 'unary operation'.

Add a comment...

Post has attachment

Public

Add a comment...

Wait while more posts are being loaded