4 papers
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…
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 tran…
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…
Another characterization of no-iteration distributive laws
Enrique Ruiz Hernández
We provide a characterization of no-iteration distributive laws in terms of its monads in extensive form only. To do that, it is necessary to take account of both right and left ex…