The locally free relatively filtered diagram as an inductive completion of a system of choice

DOI10.1023/A:1017905523464zbMath0869.18001OpenAlexW29497693MaRDI QIDQ1353445

René Guitart, Matthias Gerner

Publication date: 4 September 1997

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1017905523464

zbMATH Keywords

comma categorylocally free diagramslocally free relatively filtered diagramssketchable functor

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Free algebras (08B20) Functor categories, comma categories (18A25) Foundations, relations to logic and deductive systems (18A15)

This page was built for publication: The locally free relatively filtered diagram as an inductive completion of a system of choice