Showing 1–12 of 12 results for author: Townsend, C

Initial Condition Independent Stabilisability of Switched Affine Systems

Authors: Christopher Townsend, Maria M. Seron

Abstract: We have previously demonstrated that a switched affine system is stabilisable independently of the initial condition, i.e. there exists an asymptotically stabilising switching function which is the same for all initial conditions, if and only if there exists a stable convex combination of the sub-system matrices. This result was proven by constructing a stabilising switching function of unbounded… ▽ More We have previously demonstrated that a switched affine system is stabilisable independently of the initial condition, i.e. there exists an asymptotically stabilising switching function which is the same for all initial conditions, if and only if there exists a stable convex combination of the sub-system matrices. This result was proven by constructing a stabilising switching function of unbounded switching frequency. The current paper proves that there exists a switching function with bounded switching frequency which stabilises a switched affine system independent of its initial condition. △ Less

Submitted 16 April, 2025; originally announced April 2025.

Comments: 6 pages, 2 figures

A classifying localic category for locally compact locales with application to the Axiom of Infinity (poster)

Authors: Christopher Francis Townsend

Abstract: For an internal category $\mathbb{C}$ in a cartesian category $\mathcal{C}$ we define, naturally in objects $X$ of $\mathcal{C}$, $Prin_{\mathbb{C}}(X)$. This is a category whose objects are principal $c \mathbb{C}$-bundles over $X$ and whose morphisms are principal $c(\mathbb{C}^{\uparrow})$-bundles. Here $c(\_)$ denotes taking the core groupoid of a category (same objects but only isomorphisms a… ▽ More For an internal category $\mathbb{C}$ in a cartesian category $\mathcal{C}$ we define, naturally in objects $X$ of $\mathcal{C}$, $Prin_{\mathbb{C}}(X)$. This is a category whose objects are principal $c \mathbb{C}$-bundles over $X$ and whose morphisms are principal $c(\mathbb{C}^{\uparrow})$-bundles. Here $c(\_)$ denotes taking the core groupoid of a category (same objects but only isomorphisms as morphisms) and $\mathbb{C}^{\uparrow}$ is the arrow category of $\mathbb{C}$ (objects morphisms, morphisms commuting squares). We show that $X \mapsto Prin_{\mathbb{C}}(X)$ is a stack of categories and call stacks of this sort lax-geometric. We then provide two sufficient conditions for a stack to be lax-geometric and use them to prove that the pseudo-functor $X \mapsto \mathbf{LK}_{Sh(X)}$ on the category of locales $\mathbf{Loc}$ is a lax-geometric stack. Here $\mathbf{LK}_{Sh(X)}$ is the category of locally compact locales in the topos of sheaves over $X$, $Sh(X)$. Therefore there exists a localic category $\mathbb{C}_{\mathbf{LK}}$ such that $\mathbf{LK}_{Sh(X)} \simeq Prin_{\mathbb{C}_{\mathbf{LK}}}(X)$ naturally for every locale $X$. We then show how this can be used to give a new localic characterisation of the Axiom of Infinity. △ Less

Submitted 3 June, 2024; originally announced June 2024.

MSC Class: 06D22

A Classifying groupoid for compact Hausdorff locales

Authors: Simon Henry, Christopher Townsend

Abstract: 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 whose morphisms are $\mathbb{S}$-homotopies (where $\mathbb{S}$ is the Sierpiński locale). This result can be intuitively viewed as the compact Hausd… ▽ More 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 whose morphisms are $\mathbb{S}$-homotopies (where $\mathbb{S}$ is the Sierpiński locale). This result can be intuitively viewed as the compact Hausdorff dual of the well known result from topos theory that there is an object classifier. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 11 pages

MSC Class: 06D22; 18F70

Compact Hausdorff Locales in presheaf toposes

Authors: Simon Henry, Christopher Townsend

Abstract: 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}$. 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}$. △ Less

Submitted 8 August, 2022; originally announced August 2022.

Comments: 10 pages

MSC Class: 06D22; 18B25; 18F20; 18F70

Optimal Responses to Constrained Bolus Inputs to Models of T1D

Authors: Christopher Townsend, Maria M. Seron, Nicolas Magdelaine

Abstract: 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… ▽ More 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. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Comments: 8 pages

Janelidze's Categorical Galois Theory as a step in the Joyal and Tierney result

Authors: Christopher Townsend

Abstract: We show that a trivial case of Janelidze's categorical Galois theorem can be used as a key step in the proof of Joyal and Tierney's result on the representation of Grothendieck toposes as localic groupoids. We also show that this trivial case can be used to prove the general categorical Galois theorem by using a rather pleasing technical result about sliced adjunctions. We show that a trivial case of Janelidze's categorical Galois theorem can be used as a key step in the proof of Joyal and Tierney's result on the representation of Grothendieck toposes as localic groupoids. We also show that this trivial case can be used to prove the general categorical Galois theorem by using a rather pleasing technical result about sliced adjunctions. △ Less

Submitted 28 December, 2018; originally announced December 2018.

Optimality of Unconstrained Pulse Inputs to the Bergman Minimal Model

Authors: Christopher Townsend, Maria M. Seron

Abstract: We characterise optimality of bolus insulin inputs, to the Bergman minimal model, by the predicted behaviour of the plasma glucose concentration for a given disturbance. The result is derived subject to the constraints that the plasma glucose concentration must attain but not go below a specified minimum value and the bolus input is rectangular. We give numerical examples of the results for the Ho… ▽ More We characterise optimality of bolus insulin inputs, to the Bergman minimal model, by the predicted behaviour of the plasma glucose concentration for a given disturbance. The result is derived subject to the constraints that the plasma glucose concentration must attain but not go below a specified minimum value and the bolus input is rectangular. We give numerical examples of the results for the Hovorka model. △ Less

Submitted 24 June, 2017; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 8 pages, 8 figures

Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms

Authors: Christopher Townsend

Abstract: Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof that Hilsum-Skandalis maps represent a universal way of inverting essential equivalences between internal groupoids. To prove the representation theorem, a new cha… ▽ More Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof that Hilsum-Skandalis maps represent a universal way of inverting essential equivalences between internal groupoids. To prove the representation theorem, a new characterisation of the con- nected components adjunction of any internal groupoid is given. The charaterisation is that the adjunction is covered by a stable Frobenius adjunction that is a slice and whose right adjoint is monadic. Geometric morphisms can be represented as stably Frobenius adjunctions. As applications of the study we show how it is easy to recover properties of geometric morphisms, seeing them as aspects of properties of stably Frobenius adjunctions. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Characterisation of Optimal Responses to Pulse Inputs in the Bergman Minimal Model

Authors: Christopher Townsend, Maria M. Seron, Graham C. Goodwin

Abstract: The Bergman minimal model is a dynamic model of plasma glucose concentration. It has two input variables -- insulin delivery and carbohydrate intake. We investigate the behaviour of plasma glucose concentration predicted by the model given carbohydrate (CHO) inputs and commensurate insulin inputs. We observe that to maintain plasma glucose above a specified minimum concentration results in an unav… ▽ More The Bergman minimal model is a dynamic model of plasma glucose concentration. It has two input variables -- insulin delivery and carbohydrate intake. We investigate the behaviour of plasma glucose concentration predicted by the model given carbohydrate (CHO) inputs and commensurate insulin inputs. We observe that to maintain plasma glucose above a specified minimum concentration results in an unavoidable peak in plasma glucose. Additionally, we specify the timing and magnitude of a bolus pulse to minimise this unavoidable peak in plasma glucose concentration whilst attaining but not going below the desired minimum glucose concentration. Finally, we obtain necessary and sufficient conditions for the glucose concentration to be minimised. △ Less

Submitted 9 March, 2017; originally announced March 2017.

Comments: 7 pages, 3 Figures

Stability of properties of locales under groups

Authors: Christopher Townsend

Abstract: 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 produ… ▽ More 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. △ Less

Submitted 28 September, 2015; originally announced September 2015.

MSC Class: 06D22; 18B25; 18B30

Principal bundles as Frobenius adjunctions with application to geometric morphisms

Authors: Christopher Townsend

Abstract: 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… ▽ More 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. △ Less

Submitted 17 March, 2014; originally announced March 2014.

MSC Class: 06D22; 18A05

Journal ref: Math. Proc. Camb. Phil. Soc. 159 (2015) 433-444

Representing geometric morphisms using power locale monads

Authors: Christopher Townsend

Abstract: 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 enri… ▽ More 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. △ Less

Submitted 2 July, 2012; v1 submitted 1 December, 2008; originally announced December 2008.

MSC Class: 06D22; 54B30