?? co-yoneda morphism vs "cocone where base diagram is a discrete (op- ?????? ... ?? ...)fibration" ??? ... ?? ...

?? relationship to ... monicness of co-yoneda morphism .... ??? .... ??? ....

???? ..... and / or to ... ??... way commutativity conditions "don't affect" (co-)limit of a diagram .... ???? .... ????......

.... discreteness ... ??? ... (op-??...)fibration-ness .... ???? ..... ... ???beyond discrete to truth-value ???? .... ????? ......

??confusion / relationship here between ... ?? truth-valueness of fibers of ("fibrational" ???) diagram (???...), and truth-valueness of fibers of .... ???? ???further fibration on top of that ... ???

??? ??? "tower of fibrations" ??? .... ????with fibers getting lower-dimensional as you go up the tower ??? ... ????? ..... ???vaguely reminds me of .... ??? certain extended moore-postnikov-like (??? ...?? ... iterated conception of ... "purpose in life of space of homotopy dimension n ..." .... ??? .... ) dreams .... ???? .....

???hmmm, but middle level of tower as "representable" ??? .... ????? .....

??partial "2-out-of-3" rule for fibrations ??? ... ??? ....