A parametrized Pontryagin--Thom theorem
We prove a space-level enhancement of the Pontryagin--Thom theorem, identifying the space of maps from a manifold to a Thom space with a moduli space of submanifolds.
Researcher profile
John Francis
John Francis contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
5topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
5 published item(s)
preprint2024arXiv
Generative AI is already widespread in the public sector
Generative AI has the potential to transform how public services are delivered by enhancing productivity and reducing time spent on bureaucracy. Furthermore, unlike other types of artificial intelligence, it is a technology that has quickly become widely available for bottom-up adoption: essentially anyone can decide to make use of it in their day to day work. But to what extent is generative AI already in use in the public sector? Our survey of 938 public service professionals within the UK (covering education, health, social work and emergency services) seeks to answer this question. We find that use of generative AI systems is already widespread: 45% of respondents were aware of generative AI usage within their area of work, while 22% actively use a generative AI system. Public sector professionals were positive about both current use of the technology and its potential to enhance their efficiency and reduce bureaucratic workload in the future. For example, those working in the NHS thought that time spent on bureaucracy could drop from 50% to 30% if generative AI was properly exploited, an equivalent of one day per week (an enormous potential impact). Our survey also found a high amount of trust (61%) around generative AI outputs, and a low fear of replacement (16%). While respondents were optimistic overall, areas of concern included feeling like the UK is missing out on opportunities to use AI to improve public services (76%), and only a minority of respondents (32%) felt like there was clear guidance on generative AI usage in their workplaces. In other words, it is clear that generative AI is already transforming the public sector, but uptake is happening in a disorganised fashion without clear guidelines. The UK's public sector urgently needs to develop more systematic methods for taking advantage of the technology.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Symmetries of a rigid braided category
We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group $Ω\mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which each object is dualizable (for $n\geq 2$, $d \geq 0$, $d \leq g \leq \infty$). This action determines a canonical action by the continuous group $Ω\mathbb{R}\mathbb{P}^{n-1}$ on the moduli space of objects of each such $\mathcal{R}$. In cases where the parameters $n$, $d$, and $g$ are small, we compare these continuous symmetries to known symmetries, which manifest as categorical identities.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Factorization homology I: higher categories
We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together with a coherent system of compatibilities of framings along links between strata. Our main result constructs labeling systems on disk-stratified vari-framed $n$-manifolds from $(\infty,n)$-categories. These $(\infty,n)$-categories, in contrast with the literature to date, are not required to have adjoints. This allows the following conceptual definition: the factorization homology \[ \int_M\mathcal{C} \] of a framed $n$-manifold $M$ with coefficients in an $(\infty,n)$-category $\mathcal{C}$ is the classifying space of $\cC$-labeled disk-stratifications over $M$.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Fibrations of $\infty$-categories
We construct a flagged $\infty$-category ${\sf Corr}$ of $\infty$-categories and bimodules among them. We prove that ${\sf Corr}$ classifies exponentiable fibrations. This representability of exponentiable fibrations extends that established by Lurie of both coCartesian fibrations and Cartesian fibrations, as they are classified by the $\infty$-category of $\infty$-categories and its opposite, respectively. We introduce the flagged $\infty$-subcategories ${\sf LCorr}$ and ${\sf RCorr}$ of ${\sf Corr}$, whose morphisms are those bimodules which are \emph{left final} and \emph{right initial}, respectively. We identify the notions of fibrations these flagged $\infty$-subcategories classify, and show that these $\infty$-categories carry universal left/right fibrations.
0 citations0 reviewsNo code linkedOpen access