Wow, this is awesome, thanks! It fits nicely with the set theory I remember, and the natural numbers being the intersection of all inductive sets.

I still want to understand the connection to adjoints better. In particular, the definition of mu

\\(\mu f := \bigwedge \\{x\ :\ f(x) \leq_L x \\}\\)

is tantalizingly similar to the "process" for computing adjoints outlined in lecture 6.

I still want to understand the connection to adjoints better. In particular, the definition of mu

\\(\mu f := \bigwedge \\{x\ :\ f(x) \leq_L x \\}\\)

is tantalizingly similar to the "process" for computing adjoints outlined in lecture 6.