Left adjoint to precomposition in elementary doctrines

MaRDI QIDQ6499423zbMATH OpenFDO

Authors Francesca Guffanti

Publication date 8 May 2024

Published in Theory and Applications of Categories (Search for Journal in Brave)

zbMATH Keywords

free functorselementary doctrines

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites work

• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• Adjointness in Foundations
• Elementary quotient completion
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Left Kan extensions preserving finite products
• Quotient completion for the foundation of constructive mathematics
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator

This page was built for publication: Left adjoint to precomposition in elementary doctrines

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