138 reputation
4
bio website jspha.com
location Baltimore, MD
age 26
visits member for 1 year, 6 months
seen 2 days ago

Statistics, learning, and visualization. I build tools, answer tricky questions, and make pictures to show that even a complex world is very beautiful.

PhD candidate at Johns Hopkins University.

http://careers.stackoverflow.com/cv/edit/188395#


Jan
12
comment What is the dual of implication?
This is Filinski's thesis.
Jan
12
comment What is the dual of implication?
Self-study, primarily. I'm watching Dr. Robert Harper's Homotopy Type Theory lectures currently, I've also read a few books on category theory including Lawvere's Conceptual Mathematics.
Jan
12
comment What is the dual of implication?
I suppose I might be looking for Esakia spaces.
Jan
12
awarded  Scholar
Jan
12
accepted What is the dual of implication?
Jan
12
comment What is the dual of implication?
That's basically exactly what I was looking for, thank you! It's obvious now how the adjoints provide a dualization, though clearly I need to become more comfortable thinking with them. Do you have any intuition or sources on what it means that Heyting algebras lack co-exponentials? Are there dual Heyting algebras which take the co-exponential as primitive? I'd like to find some way to track the symmetry breaking.
Jan
12
comment What is the dual of implication?
As another follow-up, my guess would be that we'd somehow represent the positive of a function as a continuation and thus exponentials somehow play double-duty as both positives and negatives. It reminds me a bit of Filinski's thesis which I skimmed the beginning of. Is there a connection?
Jan
12
awarded  Student
Jan
12
comment What is the dual of implication?
Apologies if this is a naïve question! I'm only passingly familiar with these things.
Jan
12
asked What is the dual of implication?
Mar
17
awarded  Supporter
Jan
4
awarded  Autobiographer