Jason (jcreed) wrote,


Progress on 312. Probably should get around to the
proofs, though.

Oh, if products and coproducts coincide, then
you can define addition of morphisms nicely. Cool.

Y'know, if someone studies a foreign language
intensely, especially to the point of
fluency, it (I would think) ought come as
no surprise that they start involuntarily
thinking -in- that language even when unnecessary
for communication, thinking in terms of idioms
and semantic niches not present in their native
language, etc. And yet I -am- surprised (and
even kind of embarrassed or annoyed, though
I'm not sure I need to be) each time I think of
some everyday concept in terms of some technical
CS, mathematical, philosophical, or just
generally geekish construct, even though I
spend the majority of my waking hours 'speaking'
these languages in one form or another.

  • (no subject)

    Tried to twelf up a proof about encoding focusing in FOL. I thought it should have been "easy", since it doesn't really involve any substructural or…

  • (no subject)

    Reading some of simrob's draft paper and accompanying formalization reminds me that I don't know of anything stopping me from fully…

  • (no subject)

    A very satisfying little flash puzzle game by the author of "Bump" is " Ending", which I only discovered just now despite it apparently being (as…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded