Very true. I oversimplified matters by mistake.
One question, I suppose, is does seq distinguish the arrows, or does it
distinguish the exponential objects in the category? since you are using it
as an object in order to apply seq, and does that distinction matter? I'd
hazard not, but its curious
On Fri, Mar 26, 2010 at 11:04 AM, Edward Kmett ekm...@gmail.com wrote:
-- as long as you're ignoring 'seq'
terminateSeq :: a - Unit
terminateSeq a = a `seq` unit
Er ignore that language about seq. a `seq` unit is either another bottom or
undefined, so there remains one canonical morphism
On Fri, Mar 26, 2010 at 11:07 AM, Edward Kmett ekm...@gmail.com wrote:
On Fri, Mar 26, 2010 at 11:04 AM, Edward Kmett ekm...@gmail.com wrote:
-- as long as you're ignoring 'seq'
terminateSeq :: a - Unit
terminateSeq a = a `seq` unit
Er ignore that language about seq. a `seq` unit is
Hi everybody,
At ZuriHac I released data-category. It is an implementation of several
category-theoretical constructions.
I started this library to learn about both category theory and type level
programming, so I wanted to implement the CT concepts as directly as possible.
This in contrast