Publication:2847817
From MaRDI portal
zbMath1271.03032MaRDI QIDQ2847817
Alessandra Palmigiano, Alexander Kurz
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051783
03B45: Modal logic (including the logic of norms)
03G30: Categorical logic, topoi
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads