Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Hernández, Enrique Ruiz"'
An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $\Pi_0$ with a natural transformation $p$ from the identity which is surjective on global eleme
Externí odkaz:
http://arxiv.org/abs/2405.03793
Elementary extensions to the topos axioms are considered in order to achieve the following na\"ive topological connectedness behaviors: (1) connected objects have exactly two complemented subobjects; (2) every point is contained in a connected comple
Externí odkaz:
http://arxiv.org/abs/2311.16355
There is a well-known inclusion $\iota_\mathscr{E}$ of a topos $\mathscr{E}$ in the linguistic topos $\mathscr{T}(\Sigma)$ of its internal language $\Sigma$ that proves both toposes to be equivalent. There is also a canonical translation $\eta_S$ for
Externí odkaz:
http://arxiv.org/abs/2104.07405
Autor:
Hernández, Enrique Ruiz
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 extension systems. We also give, in this right-left perspective, charact
Externí odkaz:
http://arxiv.org/abs/1910.06531