scientific article
From MaRDI portal
Publication:3667050
zbMath0518.18010MaRDI QIDQ3667050
Publication date: 1979
Full work available at URL: https://eudml.org/doc/192971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
language2-categorybigraphsequentcomputadfinitely complete 2-categoriesgerbe on sitepredicative 2-categories
Nonabelian homological algebra (category-theoretic aspects) (18G50) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Foundations, relations to logic and deductive systems (18A15)
Related Items (1)
This page was built for publication: