3 papers
math.CT2026
Tininess and right adjoints to exponentials
Enrique Ruiz Hernández, Pedro Solórzano
Objects whose exponential functor admits a right adjoint are known under different names. The fact that they exist, yet that the only set that satisfies this in…
math.CT2025
Connectedness through decidable quotients
Enrique Ruiz Hernández, Pedro Solórzano
By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2…
math.CT2024
Naive homotopy theories in cartesian closed categories
Enrique Ruiz Hernández, Pedro Solórzano
An elementary notion of homotopy can be introduced between arrows in a cartesian closed category . The input is a finite-product-preserving endofunctor with a natural tra…