scientific article; zbMATH DE number 832104

zbMath0838.18003MaRDI QIDQ4861177

Aurelio Carboni

Publication date: 6 June 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

exact completionfree constructionsregular completionseffective toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Related Items (1)

Some free constructions in realizability and proof theory

This page was built for publication: