scientific article
From MaRDI portal
Publication:3835448
zbMath0679.03013MaRDI QIDQ3835448
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bicategory2-categorymonadaccessible categoriesaccessible functorstripleLimit TheoremPropcategorical notions of theoryweighted bilimit
Model theory (03C99) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Other infinitary logic (03C75)
This page was built for publication: