juan_gandhi: (VP)
2014-10-19 05:17 pm
Entry tags:

Interval Tree Clocks: A Logical Clock for Dynamic Systems

http://gsd.di.uminho.pt/members/cbm/ps/itc2008.pdf

I still have a strong suspicion that this application of temporal logic, together with temporal logic, can be pretty successfully, and much easier, explained in topos logic.
juan_gandhi: (VP)
2014-05-02 08:11 am

here's an example

I need a data structure which has a file as one of its components. I've been thinking, ok, I build this structure, like case class, but what if the data are actually not so good? Throwing an exception is stupid (and rather neurotic); so I probably need a factory that returns not a SingleBatch, but a Result[SingleBatch]. But the problem is, the validity of it may change with time. So, have to deal with it in terms of temporal (or topos) logic. Or frp maybe. See, now the data are good; a second later they can turn bad (but never go back... pretty toposophical!). So we deal not with data, but with a function. So all the methods must be returning Result[T]. Or maybe instead of returning anything just use cps... hard to tell.
juan_gandhi: (VP)
2014-04-25 10:18 pm
Entry tags:

today's bacat meetup

http://www.meetup.com/Bay-Area-Categories-And-Types/events/174846952/

Slides not published yet

In short, pretty neat formalization of "always", "until", "since" in logic. Via fixpoints.

The problem is, I asked Valeria whether it can be equivalently interpreted in a Grothendieck topos over, say, ℕ; she said, well, it's like using cannons against flies.

But for me, it's rather way more natural than having pervert sex with alternative quantifiers.

Anyways, I probably have to prepare a series of talks on topos logic. No big deal actually.

But so far, next time Valeria will be talking on S4.