Universes (draft)

I've been thinking about an abstraction that feels quite familiar to programmers, but I haven't seen in the programming language literature. I'm writing it down to clarify it as a concept for use in LVCA.

The basic idea to think of is a repository from Git, Mercurial, etc. Though I like to also include Github in the reference set. In a repository you have

... is this just a repository?