scientific article; zbMATH DE number 3819979

zbMATH Open0518.18010MaRDI QIDQ3667050FDOQ3667050

Jacques Penon

Publication date: 1979

Full work available at URL: https://eudml.org/doc/192971

Title of this publication is not available (Why is that?)

zbMATH Keywords

bigraph2-categorylanguagesequentcomputadfinitely complete 2-categoriesgerbe on sitepredicative 2-categories

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Nonabelian homological algebra (category-theoretic aspects) (18G50) Foundations, relations to logic and deductive systems (18A15)

Cited In (1)

• Avoiding the axiom of choice in general category theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3667050)