New answers tagged soft-question
7
votes
Could Prop be the top universe?
I am going to interpret your + as "is an element of", i.e., you are asking for a hierachy of universes that looks like this:
$$\mathsf{Set} : \mathsf{Type}...
- 10k
Top 50 recent answers are included