Wouldn't it be great if there was some website or something that visualized (some small portion of) the category of small categories(*)?
Imagine you click on some categories from a list, say, then "pop!" - they appear as dots in a digraph (that's not necessarily a commutative diagram) you can reshape and move around, where each arrow is a (standard) functor. If you click on an arrow, it gives you some details about the functor.
Does such a thing exist?
If not, someone please make it! I haven't found anything like it so far and I don't understand why. It could be quite appealing if done properly. It might even be useful, like the OEIS, as something to explore the subject with :)
Something like this would be spectacular! :D
(*) . . . or the quasicategory of all categories.