Next: thin at fz | Prev: lift that function | Up: contents


This function embeds a finite set into the set one bigger, allowing us to insert the `new' variable w wherever we like.

I borrowed the name `thinning' from the formal metatheorists. Some people call it `weakening' (though others make weakening a special case). Chucking in more stuff is `thinning' if you think liquid. `Typical!' says Rod.

How does it work?..


Next: thin at fz | Prev: lift that function | Up: contents


Conor's Work Page