Jon Sterling on Nostr: nprofile1q…q9vrk Heh... So I did indeed get the impression that the colimit one is ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjpjz2fr8cz3fc37qmta2tv32ndme82n5w72vyr2gyvzn4a4skk0suq9vrk (nprofile…9vrk) Heh... So I did indeed get the impression that the colimit one is the most important one (is that true)? If so I think that 'cofinal' is the only correct answer that doesn't introduce new terminology.