Related papers: Extending Hrushovski's groupoid-cover corresponden…
The correspondence between definable connected groupoids in a theory $T$ and internal generalised imaginary sorts of $T$, established by Hrushovski in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics, 2012], is…
We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory.
An overview is given of the various expansions of fields and fusions of strongly minimal sets obtained by means of Hrushovski's amalgamation method, as well as a characterization of the groups definable in these structures.
Let $T$ be a first-order theory. A correspondence is established between internal covers of models of $T$ and definable groupoids within $T$. We also consider amalgamations of independent diagrams of algebraically closed substructures, and…
Following a project of developing conventions and notations for informal type theory carried out in the homotopy type theory book for a framework built out of an augmentation of constructive type theory with axioms governing…
We fill a lacuna in the literature by giving a version in dimension 1 of the Relative Hurewicz Theorem, and relate this to abelianisations of groupoids, covering spaces and covering morphisms of groupoids, and Crowell's notion of derived…
This doctoral thesis has two objectives. The first objective is to introduce a notion of equivalence for singular foliations that preserves their transverse geometry and is compatible with the notions of Morita equivalence of the holonomy…
We introduce a notion of equivalence for singular foliations - understood as suitable families of vector fields - that preserves their transverse geometry. Associated to every singular foliation there is a holonomy groupoid, by the work of…
A foundation is laid for a theory of combinatorial groupoids, allowing us to use concepts like ``holonomy'', ``parallel transport'', ``bundles'', ``combinatorial curvature'' etc. in the context of simplicial (polyhedral) complexes, posets,…
Topos properties of the category of covering groupoids over a fixed groupoid are discussed. A classification result for connected covering groupoids over a fixed groupoid analogous to the fundamental theorem of Galois theory is given.
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…
We connect work done by Enochs, Rada and Hill in module approximation theory with work undertaken by several group theorists and algebraic topologists in the context of homotopical localization and cellularization of spaces. This allows one…
We show that the category of internal groupoids in an exact Mal'tsev category is reflective, and in fact a Birkhoff subcategory of the category of simplicial objects. We then characterize the central extensions of the corresponding Galois…
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…
We generalize Hrushovski's Group Configuration Theorem to quasiminimal classes. As an application, we present Zariski-like structures, a generalization of Zariski geometries, and show that a group can be found there if the pregeometry…
The objective of this article is to characterise elimination of finite generalised imaginaries (as defined by Hrushovski) in terms of group cohomology. As an application, I consider series of Zariski geometries constructed by Hrushovski and…
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general…
Twenty years ago Gromov asked about how large is the set of isomorphism classes of groups whose systolic area is bounded from above. This article introduces a new combinatorial invariant for finitely presentable groups called {\it…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some…