Post #3066766

@Paul_Taylor@mathstodon.xyz Thanks Paul, I also prefer to circumscribe the adjunction to weakening, or other issues get mixed up. Exactly what kind of completeness are you working on?