scientific article; zbMATH DE number 3851091

MaRDI QIDQ3320378zbMATH OpenFDO

Authors A. Carboni

Publication date 1982

zbMATH Keywords

factorization of non-standard morphisms of topoihyperdoctrineleft exact functorlogical functor

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonstandard models (03H99) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 2222241
• Exact functors, local connectedness and measurable cardinals
• On the factorization theorem of a monotone morphism in a topos
• scientific article; zbMATH DE number 1194943
• A note on the sheaf functor

Cited in

(5)

• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Unifying exact completions
• Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
• scientific article; zbMATH DE number 2222241 (Why is no real title available?)
• Nonstandard proof methods in toposes

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 Q3320378)