Post #3023678

@BartoszMilewski@mathstodon.xyz (Just in case it's not clear why this strict double category Grandis and Paré consider isn't appropriate in this situation, it doesn't have all companions or all conjoints, so doesn't form an equipment.)