Connecting abstract logics and adjunctions in the theory of ($\pi$-)institutions: some theoretical remarks and applications

arXiv2002.00298MaRDI QIDQ6333953

Hugo Luiz Mariano, Daniel de Almeida Souza, Darllan Conceição Pinto, Gabriel Bittencourt Rios

Publication date: 1 February 2020

Mathematical logic and foundations (03-XX) Category theory; homological algebra (18-XX)

This page was built for publication: Connecting abstract logics and adjunctions in the theory of ($\pi$-)institutions: some theoretical remarks and applications