Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Our pages category of cubes, cubical set, model structure on cubical sets, and so on, seem to all be exclusively about non-symmetric cubes. Given the increasing importance of more structured cube categories (symmetric, cartesian, de Morgan, etc.), especially in relation to HoTT, it would be nice to be more general. What opinions do people have about organization? Should these generically-named pages all be disambiguation pages? Should they include the different kinds of cubes as subsections? Should the generic pages remain about the non-symmetric version, with pointers to separate pages about other versions? In general, should the unqualified term “cubical set” on the nLab continue to refer to non-symmetric cubes, or should it be ambiguous unless qualified?
Go by the amount of available material: As long as you dont’ have much to say, write it into the next best existing entry. If and when the new material grows larger than is sensible for a subsection, split it off to its own stand-alone entry.
Good question! I have thought a bit about this myself. As usual, I think there are advantages and disadvantages to all approaches. One perspective I like is that something is a ’category of cubes’ if one can construct it as I do at ’category of cubes’: as the free strict monoidal category on a ’structured interval’ category. I think this encompasses all examples. One way to proceed would be to write this down formally (this is not completely trivial as soon as one has 2-dimensional structures involved) and then make all the specific categories of cubes examples of this formal construction for specific choices of structured interval category. They could be listed on the formal/generic ’category of cubes’ page, but have (or the corresponding cubical sets pages could have) their own pages where they are significant enough, e.g. if they have specific applications or special properties.
1 to 8 of 8