Source author record

Christopher Townsend

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CT math.OC

Catalog footprint

Research overview

5works

2topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Compact Hausdorff Locales in presheaf toposes

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{KHausLoc}$ .

preprint2022arXiv

Optimal Responses to Constrained Bolus Inputs to Models of T1D

We characterise the bolus insulin input which minimises the maximum plasma glucose concentration predicted by the Magdelaine and Bergman minimal models in response to any positive bounded disturbance whilst remaining above a fixed lower plasma glucose concentration. This characterisation is in terms of the maxima and minima of the plasma glucose concentration and limits the controllability of such systems. Any further attempt to lower the maximum plasma glucose concentration will result in hypoglycaemia.

preprint2015arXiv

Stability of properties of locales under groups

Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if $\mathcal{C}$ is a category that satisfies the axioms then so too is the category $[ G, \mathcal{C}]$ of $G$ -objects, for any internal group $G$ . To achieve this we prove a general categorical result: if an object $S$ is double exponentiable in a category with finite products then so is its associated trivial $G$ -object $(S, π_2: G \times S \rightarrow S)$ . The result holds even if $S$ is not exponentiable. An example is given of a category $\mathcal{C}$ that satisfies the axioms, but for which there is no elementary topos $\mathcal{E}$ such that $\mathcal{C}$ is the category of locales over $\mathcal{E}$ . It is shown, in outline, how the results can be extended from groups to groupoids.

preprint2014arXiv

Principal bundles as Frobenius adjunctions with application to geometric morphisms

Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stably satisfy Frobenius reciprocity. The result extends from G, an internal group, to G an internal groupoid. Since geometric morphisms can be described as certain adjunctions that are stably Frobenius, as an application it is proved that all geometric morphisms, from a localic topos to a bounded topos, can be characterised as principal bundles.

preprint2012arXiv

Representing geometric morphisms using power locale monads

It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterised as those adjunctions that preserve the order enrichment and commute with both the upper and the lower power locale monads.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.