Left adjoint to precomposition in elementary doctrines
From MaRDI portal
Publication:6499423
Authors: Francesca Guffanti 
Publication date: 8 May 2024
Published in: Theory and Applications of Categories (Search for Journal in Brave)
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
- Elementary quotient completion
- Quotient completion for the foundation of constructive mathematics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Adjointness in Foundations
- Title not available (Why is that?)
- Left Kan extensions preserving finite products
- Title not available (Why is that?)
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- 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)
