Mathematician, computer scientist, aikidoka

Ljubljana
Joined April 2009
With 4000 followers, I should start earning big money by selling theorem placement.
2
0
44
Tell your students that, when solving a math problem, being stuck and not knowing what to do is the normal state of affairs *for you as well*. And that a good problem is one that gets you stuck, sometimes for years or even several lifetimes.
25
125
832
In my learned opinion, the trickiest rules of type theory are the congruence rules. It is quite hard to show that they are well-formed in general.
0
0
13
Is it just me or has #Safari become a piece of useless junk lately? It randomly drops functionality (menus, refuses to load things) and keeps telling me for a bunch of pages that they got reloaded, because they're using too much memory. #Firefox seems to work a lot better.
3
0
7
The phrase "banana republic" expanded its meaning today.
2
3
28
In a nice category and a non-trivial object R, can the double exponent functor X ↦ (X → R) → R have an initial algebra?
3
0
8
It's not hard to get a fixed point for the functor. In topological spaces we have C(C(ℕ, 2), 2) is homeomorphic to ℕ, where we take discrete topology on ℕ and 2, and compact-open on the set of continuous maps C(X,Y). But this presumably is not the initial algebra.
1
0
1
Aha! In the category of Scott domains we can solve the domain equation D = [D → E] → E in a canonical way. That holds some promise for initiality.
0
0
4