Zobrazeno 1 - 10
of 337
pro vyhledávání: '"Henry, Simon"'
Autor:
Henry, Simon, Townsend, Christopher
We construct a localic groupoid $\mathbb{G}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a category whose objects are principal $\mathbb{G}_{KH}$-bundles over $X$ and w
Externí odkaz:
http://arxiv.org/abs/2310.07785
Autor:
Henry, Simon
We investigate under which condition the $\kappa$-ind completion of a functor category $C^I$ is equivalent to the category of functors from $I$ to the $\kappa$-ind completion of $C$. A published theorem implies this is true for any Cauchy complete ca
Externí odkaz:
http://arxiv.org/abs/2307.06664
Autor:
Henry, Simon, Townsend, Christopher
We prove that for any small category $\mathcal{C}$, the category $\mathbf{KHausLoc}_{\hat{\mathcal{C}}}$ of compact Hausdorff locales in the presheaf topos $\hat{\mathcal{C}}$, is equivalent to the category of functors $\mathcal{C} \to \mathbf{KHausL
Externí odkaz:
http://arxiv.org/abs/2208.04228
Autor:
Henry, Simon, Meadows, Nicholas J.
We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of $\infty$-categories and we use this to prove many classical results about monads in the $\infty$-categorical framework. Amongst other things, we sh
Externí odkaz:
http://arxiv.org/abs/2106.02706
Publikováno v:
Forum of Mathematics, Sigma , Volume 10 , 2022 , e34
For a category $\mathcal E$ with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simplicial objects in $\mathcal E$, generalising the Kan--Quillen model str
Externí odkaz:
http://arxiv.org/abs/2102.06146
Autor:
Henry, Simon, Mimram, Samuel
A given monoid usually admits many presentations by generators and relations and the notion of Tietze equivalence characterizes when two presentations describe the same monoid: it is the case when one can transform one presentation into the other usi
Externí odkaz:
http://arxiv.org/abs/2101.03591
Autor:
Henry, Simon
We prove, without set theoretic assumptions, that every locally presentable category C endowed with a tractable cofibrantly generated class of cofibrations has a unique minimal (or left induced) Quillen model structure. More generally, for any set S
Externí odkaz:
http://arxiv.org/abs/2011.13408