Pedro Resende
For an arbitrary localic etale 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 etendues.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study the projections of an arbitrary stably Gelfand quantale $Q$ and show that each projection determines a pseudogroup $S\subset Q$ (and a corresponding localic étale groupoid $G$) together with a map of involutive quantales $p:Q\to\mathcal L^{\bigvee}(S)\ [=\mathcal O(G)]$. As an application we obtain a simplified axiomatization of inverse quantal frames (= quantales of étale groupoids) whereby such a quantale is shown to be the same as a unital stably Gelfand quantal frame whose partial units cover $Q$.
Taking advantage of the quantale-theoretic description of étale groupoids we study principal bundles, Hilsum-Skandalis maps, and Morita equivalence in terms of modules on inverse quantal frames. The Hilbert module description of quantale sheaves leads naturally to a formulation of Morita equivalence in terms of bimodules that resemble imprimitivity bimodules of C*-algebras.
We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic etale groupoids and their quantales, which are given a rather simple characterization and are here called inverse quantal frames. We show that the category of inverse quantal frames is equivalent to the category of complete and infinitely distr…
Stably supported quantales generalize pseudogroups and provide an algebraic context in which to study the correspondences between inverse semigroups and étale groupoids. Here we study a further generalization where a non-unital version of supported quantale carries the algebraic content of such correspondences to the setting of open groupoids. A notion of principal quantale is introduced which, in the case of groupoid quantales, corresponds precisely to effective equivalence relations.
It is well known that inverse semigroups are closely related to étale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between localic étale groupoids, on one hand, and complete and infinitely distributive inverse semigroups (abstract complete pseudogroups), on the other. This correspondence is mediated by a class of quantales, known as inverse quantal frames, that are obtained from the inverse semigroups by a simple join completion that yields an equivalence of categories. Hence, we can regard abstract complete pseudogroups as being essentially…
This is a short survey paper, partly meant as a research announcement. Its purpose is to highlight some aspects of the interplay between quantales, inverse semigroups, and groupoids. Many of the results mentioned have not yet been presented and will appear in detail elsewhere.
We provide three functorial extensions of the equivalence between localic etale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic etale groupoids, with bi-actions as 1-cells, and a bicategory of inverse quantal frames whose 1-cells are bimodules. As a consequence, the category InvQuF of inverse quantale frames, whose morphisms are the (necessarily involutive) homomorphisms of unital quantales, is equivalent to a category of localic etale groupoids whose arrows are the algebraic morphisms in the sense of Buneci and Stachura. We also show that th…
Taking into account the correspondence between open groupoids and their quantales, we establish a bijective correspondence between the principal $G$-bundles whose left projection is an open surjection and the principal $\opens(G)$-locales for any open groupoid $G$ and its groupoid quantale $\opens(G)$, the latter requires a generalization of the supported modules for groupoid quantales.
By restricting to a class of localic open groupoids $G$ which, similarly to Lie groupoids, possess appropriate covers $\widehat G\to G$ by étale groupoids, we extend results about groupoid actions and quantales that were previously proved for étale groupoids but do not seem to work for arbitrary open groupoids. In particular we obtain a characterization of the category of $G$-actions as a category of quantale modules on $\mathcal O(\widehat G)$ that satisfy a condition related to the quantale $\mathcal O(G)$. This leads to a simple description of $G$-sheaves and the classifying topos of $G$ in…
Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties the sheaves on Q can be defined to be the idempotent self-adjoint Q-valued matrices. These can be thought of as Q-valued equivalence relations, and, accordingly, the morphisms of sheaves are the Q-valued functional relations. Few concrete examples of such sheaves are known, however, and in this paper we provide a new one by showing that the category of equivariant sheaves on a localic eta…
We introduce a lattice structure as a generalization of meet-continuous lattices and quantales. We develop a point-free approach to these new lattices and apply these results to $R$-modules. In particular, we give the module counterpart of the well known result that in a commutative ring the set of semiprime ideals, that is, the set of radical ideals is a frame.
In this communication, motivated by a classical result that relates cocomplete quantale-enriched categories to modules over a quantale, we prove a similar result for quantale-enriched multicategories.
We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modules and that via so-called principally generated modules. For a principally generated module satisfying a suitable symmetry condition we observe the existence of a canonical Hilbert structure. We prove that, when working over a modular quantal frame, a module bears a Hilbert structure if and only if it is principally generated and symmetric, in which case its Hilbert structure is necessarily the canonical one. We indi…
The notion of sobriety is extended to the realm of topological spaces valued in a commutative and unital quantale, via an adjunction between a category of quantale modules and the category of quantale-valued topological spaces. Relations between such sober spaces and quantale-valued domains based on flat ideals are investigated.
Morita theory for quantales
本文建立 quantale 的森田理论，通过刻画等价于 quantale 上模范畴的 quantaloid，给出两个 quantale 森田等价的充要条件，并应用于 Grothendieck topos 中的内部 sup-lattice 范畴。
A concept of quantum triad and its solution is introduced. It represents a common framework for several situations where we have a quantale with a right module and a left module, provided with a bilinear inner product. Examples include Van den Bossche quantaloids, quantum frames, simple and Galois quantales, operator algebras, or orthomodular lattices.
Constructing linear bicategories
本文研究了线性双范畴的构造与性质，通过量词和量词oids定义了LD-量词及线性量词oids，并展示了多种标准构造在该框架下的应用，从而产生新的线性双范畴例子。
Groupoid Graded Semisimple Rings
本文研究群体学分级半单环的理论，提出Γ₀-artinian概念，并证明了Wedderburn-Artin定理的群体学分级版本，同时探讨了群体学分级环的自由性及与半单范畴的关系。
In this work we study the notion of Whitehead sequence in the category of crossed modules and actions of crossed modules. As expected, Whitehead sequences in that context are the same as crossed squares. We investigate under which conditions a Whitehead sequence of crossed modules gives rise to an internal groupoid in the category of crossed modules. In other words, we explicitly investigate the so called "Smith is Huq" condition in the category of crossed modules.
We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give some examples of these objects.
The author has previously associated to each commutative ring with unit $\Bbbk$ and étale groupoid $\mathscr G$ with locally compact, Hausdorff, totally disconnected unit space a $\Bbbk$-algebra $\Bbbk\mathscr G$. The algebra $\Bbbk\mathscr G$ need not be unital, but it always has local units. The class of groupoid algebras includes group algebras, inverse semigroup algebras and Leavitt path algebras. In this paper we show that the category of unitary $\Bbbk\mathscr G$-modules is equivalent to the category of sheaves of $\Bbbk$-modules over $\mathscr G$. As a consequence we obtain a new proof …
The aim of this paper is to characterize the notion of internal category (groupoid) in the category of Leibniz algebras and investigate the properties of well-known notions such as covering groupoid and groupoid operations (actions) in this category. Further, for a fixed internal groupoid $G$, we prove that the category of covering groupoids of $G$ and the category of internal groupoid actions of $G$ on Leibniz algebras are equivalent. Finally we interpret the corresponding notion of covering groupoids in the category of crossed modules of Leibniz algebras.
This paper contains some basic results on 2-groupoids, with special emphasis on computing derived mapping 2-groupoids between 2-groupoids and proving their invariance under strictification. Some of the results proven here are presumably folklore (but do not appear in the literature to the author's knowledge) and some of the results seem to be new. The main technical tool used throughout the paper is the Quillen model structure on the category of 2-groupoids introduced by Moerdijk and Svensson.
In this paper using split extensions of group-groupoids we obtain the notion of crossed modules over group-grouoids which are also called 2-groups and we prove a categorical equivalence of these types of crossed modules and double group-groupoids which are internal to the category of group-groupoids. This equivalence enables us to produce more examples of double groupoids.
We give a rather general construction of double categories and so, under further conditions, double groupoids, from a structure we call a `double module'. We also give a homotopical construction of a double groupoid from a triad consisting of a space, two subspaces, and a set of base points, under a condition which also implies that this double groupoid contains two second relative homotopy groups.
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g.due to secrecy and deceit, as well as nested knowledge. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the children are allowed to lie and cheat. Epistemic actions, that is, information exchanges between agents, are modeled as elements of a quantale. The quantale acts on an underlying right module of epistemic …
The aim of this paper is to define the notion of lifting of a crossed module via a group morphism and give some properties of this type of the lifting. Further we obtain a criterion for a crossed module to have a lifting of crossed module. We also prove that the liftings of a certain crossed module constitute a category; and that this category is equivalent to the category of covers of that crossed module and hence to the category of group-groupoid actions of the corresponding groupoid to that crossed module.
We give a detailed description of the structure of the actor 2-crossed module related to the automorphisms of a crossed module of groupoids. This generalises work of Brown and Gilbert for the case of crossed modules of groups, and part of this is needed for work on 2-dimensional holonomy to be developed elsewhere (see math.DG/0009082).
Multivariate Quandles as Groupoid Invariants
本文提出基于群胚的多元Alexander quandle构造框架，实现Alexander模的oid化，用于枚举新quandle类并寻找链环新着色不变量。
In this paper we prove some results on the covering morphisms of internal groupoids. We also give a result on the coverings of the crossed modules of groups with operations.
Given a bundle gerbe on a compact smooth manifold or, more generally, on a compact étale Lie groupoid $M$, we show that the corresponding category of gerbe modules, if it is non-trivial, is equivalent to the category of finitely generated projective modules over an Azumaya algebra on $M$. This result can be seen as an equivariant Serre-Swan theorem for twisted vector bundles.
In this paper we define the notions of normal subcrossed module and quotient crossed module within groups with operations; and using the equivalence of crossed modules over groups with operations and internal groupoids we prove how normality and quotient concepts are related in these two categories. Further we prove an equivalence of crossed modules over groups with operations and cat$^1$-groups with operations for a certain algebraic category; and then by this equivalence we determine normal and quotient objects in the category of cat$^{1}$-groups with operations. Finally we characterize the …
We define the thin fundamental Gray 3-groupoid $S_3(M)$ of a smooth manifold $M$ and define (by using differential geometric data) 3-dimensional holonomies, to be smooth strict Gray 3-groupoid maps $S_3(M) \to C(H)$, where $H$ is a 2-crossed module of Lie groups and $C(H)$ is the Gray 3-groupoid naturally constructed from $H$. As an application, we define Wilson 3-sphere observables.
Generalized Yetter-Drinfeld modules, the center of bi-actegories and groupoid-crossed braided bicategories
本文研究双作用范畴的 $E$-中心，证明其等价于广义 Yetter-Drinfeld 模范畴，并引入双群胚交叉辫状双范畴概念，推广 Turaev 的群交叉辫状幺半范畴。
We provide concrete models for generalized morphisms and Morita equivalences of topological 2-groupoids by introducing the notions of crossings and crossed extensions of groupoid crossed modules. A systematic study of these objects is elaborated and an explicit description of how they do yield a groupoid and geometric picture of weak 2-groupoid morphisms is presented. Specifically, we construct a weak 3-category whose objects are crossed modules of topological groupoids and in which weak 1-isomorphisms correspond to Morita equivalences in the "category" of topological 2-groupoids.
This work results from a study of Nicholas Kuhn's paper entitled "Generic representation theory of finite fields in nondescribing characteristic". Our goal is to abstract the categorical structure required to obtain an equivalence between functor categories $[\mathscr{F},\mathscr{V}]$ and $[\mathscr{G},\mathscr{V}]$ where $\mathscr{G}$ is the core groupoid of the category $\mathscr{F}$ and $\mathscr{V}$ is a category of modules over a commutative ring.
A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum 2-group where we replace the above by Hopf algebras and introduce a new version of quantum groupoid. The work also suggests a natural notion of braided crossed module where A a braided-Hopf algebra in the braided category Z({}_H\CM) of crossed H-modules, although without the full groupoid picture in this more general case.
Given a higher-rank graph $Λ$, we investigate the relationship between the cohomology of $Λ$ and the cohomology of the associated groupoid $G_Λ$. We define an exact functor between the abelian category of right modules over a higher-rank graph $Λ$ and the category of $G_Λ$-sheaves, where $G_Λ$ is the path groupoid of $Λ$. We use this functor to construct compatible homomorphisms from both the cohomology of $Λ$ with coefficients in a right $Λ$-module, and the continuous cocycle cohomology of $G_Λ$ with values in the corresponding $G_Λ$-sheaf, into the sheaf cohomology of $G_Λ$.
Functoriality of bornological groupoid convolution
本文证明李群胚的完全有界卷积代数和群胚双束的卷积双模定义了从可微栈的2-范畴到完全有界代数的Morita 2-范畴的幺半函子，并展示了卷积代数的自诱导性和拟单位性。
We introduce the notion of Whitehead sequence which is defined for a base category together with a system of abstract actions over it. In the classical case of groups and group actions the Whitehead sequences are precisely the crossed-modules of groups. For a general setting we give sufficient conditions for the existence of a categorical equivalence between internal groupoids and Whitehead sequences.
In this article, we will show that the category of biset functors can be regarded as a reflective monoidal subcategory of the category of Mackey functors on the 2-category of finite groupoids. This reflective subcategory is equivalent to the category of modules over the Burnside functor. As a consequence of the reflectivity, we can associate a biset functor to any derivator on the 2-category of finite categories.
The goal of this thesis is to define a 2-dimensional version of abelian categories, where symmetric 2-groups play the role that abelian groups played in 1-dimensional algebra. Abelian and 2-abelian groupoid enriched categories are defined and it is proved that homology can be developed in them, including the existence of a long exact sequence of homology corresponding to an extension of chain complexes. This generalises known results for symmetric 2-groups. The examples include, in addition to symmetric 2-groups, the 2-modules on a 2-ring, which form a 2-abelian groupoid enriched category. Mor…
In this paper we define the notion of pullback lifting of a lifting crossed module over a crossed module morphism and interpret this notion in the category of group-groupoid actions as pullback action. Moreover, we give a criterion for the lifting of homotopic crossed module morphisms to be homotopic, which will be called homotopy lifting property for crossed module morphisms. Finally, we investigate some properties of derivations of lifting crossed modules according to base crossed module derivations.
The category of propositional deductive systems
研究命题演绎系统范畴相关问题，通过定义范畴$\QM$等，证明余积等的存在性，定义非满子范畴$\DS_0$并证明其与特定命题逻辑等价，还探讨了$\DS_0$中的融合，明确了其中余积的性质。
We consider locales $B$ as algebras in the tensor category $s\ell$ of sup-lattices. We show the equivalence between the Joyal-Tierney descent theorem for open localic surjections $sh(B) \stackrel{q}{\longrightarrow} \mathcal{E}$ in Galois theory [An extension of the Galois Theory of Grothendieck, AMS Memoirs 151] and a Tannakian recognition theorem over $s\ell$ for the $s\ell$-functor $Rel(E) \stackrel{Rel(q^*)}{\longrightarrow} Rel(sh(B)) \cong (B$-$Mod)_0$ into the $s\ell$-category of discrete $B$-modules. Thus, a new Tannaka recognition theorem is obtained, essentially different from those …
Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an $\infty$-cosmos. In a generic $\infty$-cosmos, whose objects we call $\infty$-categories, we introduce modules (also called profunctors or correspondences) between $\infty$-categories, incarnated as as spans of suitably-defined fibrations with groupoidal fibers. As the name suggests, a module from $A$ to $B$ is an $\infty$-category equipped with a left action of $A$ and a right action of $B$, in a suitable se…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。