Yes, this seems completely off to me too. It’s perhaps worth noting in this connection that intuitionistic logics predate anything that could reasonably be call

Yes, this seems completely off to me too. It’s perhaps worth noting in this connection that intuitionistic logics predate anything that could reasonably be called “category theory”.