相关论文: Slices of groupoids are group-like
The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector…
This unpublished note contains some materials taken from my old study note on groupoids and small categories. It contains a proof for the fact that any groupoid is a group bundle over an equivalence relation. Moreover, the action of a…
The universal scheme of clusters of sections is an adaption of Kleiman's iterated blow ups (which parametrise clusters of points) to parametrise clusters of sections. They can also be constructed iteratively, but the iterative step is not…
Given an action of a groupoid by isomorphisms on a Fell bundle (over another groupoid), we form a semidirect-product Fell bundle, and prove that its $C^{*}$-algebra is isomorphic to a crossed product.
Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…
In this paper, we give an accessible introduction to the theory of orbispaces via groupoids. We define a certain class of topological groupoids, which we call orbigroupoids. Each orbigroupoid represents an orbispace, but just as with…
We find explicit subdivision rules for all special cubulated groups. A subdivision rule for a group produces a sequence of tilings on a sphere which encode all quasi-isometric information for a group. We show how these tilings detect…
By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully coherent algebraic structures. In…
We introduce the notion of wide representation of an inverse semigroup and prove that with a suitably defined topology there is a space of germs of such a representation which has the structure of an etale groupoid. This gives an elegant…
A linear Gr-category is a category of finite-dimensional vector spaces graded by a finite group together with natural tensor product. We classify the braided monoidal structures of a class of linear Gr-categories via explicit computations…
In this paper, we define a new structure analogous to group, called partial group. This structure concerns the partial stability by the composition inner law. We generalize the three isomorphism theorems for groups to partial groups.
We present some constructions of groupoids as: direct product, semidirect product, and we give necessary and sufficient conditions for a groupoid to be embedded into a direct product of groupoids. Also, we establish necessary and sufficient…
We describe a number of geometric contexts where categorification appears naturally: coherent sheaves, constructible sheaves and sheaves of modules over quantizations. In each case, we discuss how "index formulas" allow us to easily perform…
This paper investigates a novel structure of stratified L-convex groups, defined as groups possessing stratified L-convex structures, in which the group operations are L-convexity-preserving mappings. It is verified that stratified L-convex…
We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category…
A slice (G, S) of finite groups is a pair consisting of a finite group G and a subgroup S of G. In this paper, we show that some properties of finite groups extend to slices of finite groups. In particular, by analogy with B-groups, we…
We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to…
We define a class of quandle-like structures called pseudoquandles and analyze some of their algebraic properties.
Given groupoids $\mathscr G$ and $\mathscr H$ as well as an isomorphism $\Psi:\text{Sd}\,\mathscr G\cong\text{Sd}\,\mathscr H$ between subdivisions, we construct an isomorphism $P:\mathscr G\cong\mathscr H$. If $\Psi$ equals $\text{Sd} F$…
A category is called {\em split} if for every morphism $s\colon X\to Y$ there exists a morphism $t\colon Y\to X$ such that $s\circ t\circ s = s$. Let $C$ be a finite split category, let $k$ be a field of characteristic 0 and let $\alpha$ be…