Follow
A Categorical Integration of Logical Connectives via Higher Category Theory https://arxiv.org/abs/2503.16570 #mathLO #mathCT
A Categorical Integration of Logical Connectives via Higher Category Theory https://arxiv.org/abs/2503.16570 #mathLO #mathCT