Left adjoint to precomposition in elementary doctrines

MaRDI QIDQ6499423

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• Left Kan extensions preserving finite products
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Elementary quotient completion
• Adjointness in Foundations

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