1 citations · 1 across the 4 of their papers we have counts for
5 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…
On logical parameterizations and functional representability in local set theories
Enrique Ruiz Hernández, Pedro Solórzano
There is a well-known inclusion of a topos in the linguistic topos of its internal language that proves both toposes to be equiva…
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…