It is shown that continuity of a family of invariant (Haar) measures on a topological groupoid G is equivalent to the continuity of the implied convolution product f * g for all pairs of functions / and g. An example is given of a groupoid which admits no (continuous) Haar measure. It results, therefore, that the usual C*-algebra associated with a Haar measure on G cannot, in general, be constr...

These notes are an attempt to structure the author’s thoughts and conjectures related to higher relations and their quotients. We define the notion of a Yoneda Groupoid formally, the name of which is inspired by the relation to the Yoneda lemma, and show how a weak ω groupoid structure can be extracted. We also prove that, in the presence of bracket types (in the sense of Awodey & Bauer [3]), e...

In connection with the so-called Hurwitz action of homeomorphisms in ramified covers we define a groupoid, which we call a ramification groupoid of the 2sphere, constructed as a certain path groupoid of the universal ramified cover of the 2-sphere with finitely many marked-points. Our approach to ramified covers is based on cosheaf spaces, which are closely related to Fox’s complete spreads. A ...

We define and study the 2-category of torsors over a Picard groupoid, a central extension of a group by a Picard groupoid, and commutator maps in this central extension. Using this in the context of two-dimensional local fields and two-dimensional adèle theory we obtain the two-dimensional tame symbol and a new proof of Parshin reciprocity laws on an algebraic surface.

It is a well-known result of the covering groups that a subgroup G of the fundamental group at the identity of a semilocally simply connected topological group determines a covering morphism of topological groups with characteristic group G . In this paper we generalize this result to a large class of algebraic objects called topological groups with operations, including topological groups. We ...

We apply Baars’ Global Workspace model of consciousness to the phenomenon of inattentional blindness, using the groupoid network method of Stewart et al. to explore modular structures defined by information measures associated with cognitive processes. Internal cross-talk between such processes breaks the fundamental groupoid symmetry, and, if sufficiently strong, creates, in a highly punctuate...

For an arbitrary localic étale groupoid G we provide simple descriptions, in terms of modules over the quantale O(G) of the groupoid, of the continuous actions of G, including actions on open maps and sheaves. The category of G-actions is isomorphic to a corresponding category of O(G)-modules, and as a corollary we obtain a new quantale based representation of étendues.

Suppose G is a second countable, locally compact, Hausdorff, principal groupoid with a fixed left Haar system. We define a notion of integrability for groupoids, and show G is integrable if and only if the groupoid C∗-algebra C∗(G) has bounded trace.