TY - RPRT TI - A Categorical Integration of Logical Connectives via Higher Category Theory AU - Barreto Joaquim Reizi PY - 2025 UR - https://arxiv.org/abs/2503.16570 ID - 2503.16570 ER -