Find link

language: af: Afrikaans als: Alemannisch [Alemannic] am: አማርኛ [Amharic] an: aragonés [Aragonese] ar: العربية [Arabic] arz: مصرى [Egyptian Arabic] as: অসমীয়া [Assamese] ast: asturianu [Asturian] az: azərbaycanca [Azerbaijani] azb: تۆرکجه [Southern Azerbaijani] ba: башҡортса [Bashkir] bar: Boarisch [Bavarian] bat-smg: žemaitėška [Samogitian] be: беларуская [Belarusian] be-tarask: беларуская (тарашкевіца) [Belarusian (Taraškievica)] bg: български [Bulgarian] bn: বাংলা [Bengali] bpy: বিষ্ণুপ্রিয়া মণিপুরী [Bishnupriya Manipuri] br: brezhoneg [Breton] bs: bosanski [Bosnian] bug: ᨅᨔ ᨕᨘᨁᨗ [Buginese] ca: català [Catalan] ce: нохчийн [Chechen] ceb: Cebuano ckb: کوردیی ناوەندی [Kurdish (Sorani)] cs: čeština [Czech] cv: Чӑвашла [Chuvash] cy: Cymraeg [Welsh] da: dansk [Danish] de: Deutsch [German] el: Ελληνικά [Greek] en: English eo: Esperanto es: español [Spanish] et: eesti [Estonian] eu: euskara [Basque] fa: فارسی [Persian] fi: suomi [Finnish] fo: føroyskt [Faroese] fr: français [French] fy: Frysk [West Frisian] ga: Gaeilge [Irish] gd: Gàidhlig [Scottish Gaelic] gl: galego [Galician] gu: ગુજરાતી [Gujarati] he: עברית [Hebrew] hi: हिन्दी [Hindi] hr: hrvatski [Croatian] hsb: hornjoserbsce [Upper Sorbian] ht: Kreyòl ayisyen [Haitian] hu: magyar [Hungarian] hy: Հայերեն [Armenian] ia: interlingua [Interlingua] id: Bahasa Indonesia [Indonesian] io: Ido is: íslenska [Icelandic] it: italiano [Italian] ja: 日本語 [Japanese] jv: Basa Jawa [Javanese] ka: ქართული [Georgian] kk: қазақша [Kazakh] kn: ಕನ್ನಡ [Kannada] ko: 한국어 [Korean] ku: Kurdî [Kurdish (Kurmanji)] ky: Кыргызча [Kirghiz] la: Latina [Latin] lb: Lëtzebuergesch [Luxembourgish] li: Limburgs [Limburgish] lmo: lumbaart [Lombard] lt: lietuvių [Lithuanian] lv: latviešu [Latvian] map-bms: Basa Banyumasan [Banyumasan] mg: Malagasy min: Baso Minangkabau [Minangkabau] mk: македонски [Macedonian] ml: മലയാളം [Malayalam] mn: монгол [Mongolian] mr: मराठी [Marathi] mrj: кырык мары [Hill Mari] ms: Bahasa Melayu [Malay] my: မြန်မာဘာသာ [Burmese] mzn: مازِرونی [Mazandarani] nah: Nāhuatl [Nahuatl] nap: Napulitano [Neapolitan] nds: Plattdüütsch [Low Saxon] ne: नेपाली [Nepali] new: नेपाल भाषा [Newar] nl: Nederlands [Dutch] nn: norsk nynorsk [Norwegian (Nynorsk)] no: norsk bokmål [Norwegian (Bokmål)] oc: occitan [Occitan] or: ଓଡ଼ିଆ [Oriya] os: Ирон [Ossetian] pa: ਪੰਜਾਬੀ [Eastern Punjabi] pl: polski [Polish] pms: Piemontèis [Piedmontese] pnb: پنجابی [Western Punjabi] pt: português [Portuguese] qu: Runa Simi [Quechua] ro: română [Romanian] ru: русский [Russian] sa: संस्कृतम् [Sanskrit] sah: саха тыла [Sakha] scn: sicilianu [Sicilian] sco: Scots sh: srpskohrvatski / српскохрватски [Serbo-Croatian] si: සිංහල [Sinhalese] simple: Simple English sk: slovenčina [Slovak] sl: slovenščina [Slovenian] sq: shqip [Albanian] sr: српски / srpski [Serbian] su: Basa Sunda [Sundanese] sv: svenska [Swedish] sw: Kiswahili [Swahili] ta: தமிழ் [Tamil] te: తెలుగు [Telugu] tg: тоҷикӣ [Tajik] th: ไทย [Thai] tl: Tagalog tr: Türkçe [Turkish] tt: татарча/tatarça [Tatar] uk: українська [Ukrainian] ur: اردو [Urdu] uz: oʻzbekcha/ўзбекча [Uzbek] vec: vèneto [Venetian] vi: Tiếng Việt [Vietnamese] vo: Volapük wa: walon [Walloon] war: Winaray [Waray] yi: ייִדיש [Yiddish] yo: Yorùbá [Yoruba] zh: 中文 [Chinese] zh-min-nan: Bân-lâm-gú [Min Nan] zh-yue: 粵語 [Cantonese]

jump to random article

searching for ∞-groupoid 140 found (233 total)

Magma (algebra) (1,729 words) [view diff] no match in snippet view article

In abstract algebra, a magma, binar, or, rarely, groupoid is a basic kind of algebraic structure. Specifically, a magma consists of a set equipped with

T∗M{\displaystyle T^{*}M} is not always integrable to a Lie groupoid. A symplectic groupoid is a Lie groupoid G⇉M{\displaystyle {\mathcal {G}}\rightrightarrows

In mathematics, a Lie groupoid is a groupoid where the set Ob{\displaystyle \operatorname {Ob} } of objects and the set Mor{\displaystyle \operatorname

In mathematics, the concept of groupoid algebra generalizes the notion of group algebra. Given a groupoid (G,⋅){\displaystyle (G,\cdot )} (in the sense

Analogous to the fundamental groupoid it is possible to get rid of the choice of a base point and to define a monodromy groupoid. Here we consider (homotopy

In category theory, a branch of mathematics, a groupoid object is both a generalization of a groupoid which is built on richer structures than sets, and

in this category is an isomorphism this category is a groupoid, called the fundamental groupoid of X.{\displaystyle X.} Loops in this category are the

of Lie groupoids that Lie algebras play in the theory of Lie groups: reducing global problems to infinitesimal ones. Indeed, any Lie groupoid gives rise

stack in groupoids or a (2,1)-sheaf if it is also fibered in groupoids, meaning that its fibers (the inverse images of objects of C) are groupoids. Some

In mathematics, the Mathieu groupoid M13 is a groupoid acting on 13 points such that the stabilizer of each point is the Mathieu group M12. It was introduced

groupoids analogous to that of the group of integers in the theory of groups. The groupoid I{\displaystyle {\mathcal {I}}} also allows for groupoids a

starting from groupoids. These are more abstract concepts than the Lie algebroids that play a similar role in the theory of Lie groupoids to that of Lie

cohomology of a smooth manifold is a special example of the groupoid cohomology of a Lie groupoid. This is because given a G{\displaystyle G}-space X{\displaystyle

automorphisms. A Deligne–Mumford stack admits a presentation by a groupoid; see groupoid scheme. Deligne–Mumford stacks are typically constructed by taking

diffeomorphisms. An orbifold groupoid is given by one of the following equivalent definitions: a proper étale Lie groupoid; a proper Lie groupoid whose isotropies

stack over differentiable manifolds which admits an atlas, or as a Lie groupoid up to Morita equivalence. Differentiable stacks are particularly useful

Kampen's Theorem: A discussion of the fundamental groupoid of a topological space and the fundamental groupoid of a simplicial set Animations to introduce fundamental

inverse of G. The heap of a group may be generalized again to the case of a groupoid which has two objects A and B when viewed as a category. The elements of

a special case of a groupoid include: Whereas the notion of "free equivalence relation" does not exist, that of a free groupoid on a directed graph does

partial groupoid (also called halfgroupoid, pargoid, or partial magma) is a set endowed with a partial binary operation. A partial groupoid is a partial

differentiated in order to obtain a Lie bialgebroid. A Poisson groupoid is a Lie groupoid (G⇉M) together with a Poisson structure π on G such that the multiplication

application is also handled more simply by the use of covering morphisms of groupoids, and that technique has yielded subgroup theorems not yet proved by methods

category of k-algebras; the category of such is hence dual to the category of groupoid k-schemes. This commutative version has been used in 1970-s in algebraic

authors study group action in the language of a groupoid; a group-scheme action is then an example of a groupoid scheme. The usual constructs for a group action

mathematics, a quantum groupoid is any of a number of notions in noncommutative geometry analogous to the notion of groupoid. In usual geometry, the

where G{\displaystyle G} is a Lie group, is the Lie algebroid of the gauge groupoid of P{\displaystyle P}. Explicitly, it is given by the following short exact

One of the motivating examples of an algebraic stack is to consider a groupoid scheme (R,U,s,t,m){\displaystyle (R,U,s,t,m)} over a fixed scheme S{\displaystyle

isotropy group is the group of isomorphisms from any object to itself in a groupoid.[dubious – discuss] An isotropy representation is a representation of an

(1,1,0),(1,2,0),(1,3,0),(1,4,0)\}}. (Although the authors use the word "groupoid", it is in the sense of a binary function or magma, not in the category-theoretic

transformations of the 15 puzzle form a groupoid (not a group, as not all moves can be composed); this groupoid acts on configurations. Because the combinations

the use of piecewise functions. For example, in the book Topology and Groupoids, where the condition given for the statement below is that A∖B⊆Int⁡A{\displaystyle

In abstract algebra, a medial magma or medial groupoid is a magma or groupoid (that is, a set with a binary operation) that satisfies the identity (x

there is the notion of a fundamental groupoid (and higher variants): by definition, the fundamental groupoid of a space X is the category where the

normal form for the fundamental groupoid of a graph of groups. In this approach there is considerable use of free groupoids on a directed graph. Grushko's

shown that one can also extend this sequence up, obtaining the Mathieu groupoid M13 acting on 13 points. M21 is simple, but is not a sporadic group, being

B(H⋊N){\displaystyle B(H\rtimes N)}, the (groupoid associated to) semidirect product. Another generalization is for groupoids. This occurs in topology because

independent of the choice of T. The benefit in defining the fundamental groupoid of a graph of groups, as shown by Higgins (1976), is that it is defined

was a German mathematician who was the first to develop the concept of a groupoid. Brandt studied at the University of Göttingen and, from 1910 to 1913,

{\mathcal {F}}_{x}} where Π1X{\displaystyle \Pi _{1}X} is the fundamental groupoid of X: the category whose objects are points of X and whose morphisms are

like S1, the result follows from the groupoid Seifert-van Kampen theorem, as in the book Topology and Groupoids. More generally McCord has shown that

of vector fields Lie derivative Lie group Lie group decomposition Lie groupoid Lie subgroup Complex Lie group Local Lie group Poisson–Lie group Real Lie

fundamental groupoid of the orbit space X/G is isomorphic to the orbit groupoid of the fundamental groupoid of X, i.e. the quotient of that groupoid by the

arrangements: Weyl groupoids and simplicial arrangements, Bull. London Math. Soc. 43 (2011), no.4, 734-744. Cuntz, Heckenberger: Finite Weyl groupoids, J. Reine

are orthogonal. In fact, small category is orthogonal to quasigroup, and groupoid is orthogonal to magma. Consequently there are zeros in RRT{\displaystyle

noncommutative geometry, notably in C*-algebraic quantum group theory, and groupoid C*-algebras. Let A{\displaystyle A} be a C*-algebra (not assumed to be

satisfying a certain lifting condition and such that (when the fibers are groupoids) locally isomorphic objects are isomorphic. A stack is a prestack with

under any (not necessarily associative) n-ary operation is called an n-ary groupoid. The inverse axiom is generalized as follows: in the case of binary operations

automaton groupoid. Therefore, in the most general case, categories of variable automata of any kind are categories of groupoids or groupoid categories

With the same perspective, he pioneered the notions of jet and of Lie groupoid. Since the 1960s, Ehresmann's research interests moved to category theory

the associativity restriction is also discarded one gets a magma or a groupoid. The restrictions that define an abelian group may be removed in different

but an inductive groupoid, in the sense of category theory. This close connection between inverse semigroups and inductive groupoids is embodied in the

by the action groupoid G′ = G ⋉ X associated to the group action. The stabilizers of the action are the vertex groups of the groupoid and the orbits

homogeneous space Invariant theory Lie derivative Darboux derivative Lie groupoid Lie algebroid Lattice (group) Lattice (discrete subgroup) Frieze group

X{\displaystyle X}, the X{\displaystyle X}-points of the moduli stack are the groupoid of principal Gm{\displaystyle \mathbb {G} _{m}}-bundles P→X{\displaystyle

classical methods". Cubical omega-groupoids, higher homotopy groupoids, crossed modules, crossed complexes and Galois groupoids are key concepts in developing

algebra. Groupoid algebra. Suppose G=(G0,G1){\displaystyle G=(G_{0},G_{1})} is a groupoid and let K[G]{\displaystyle K[G]} be the groupoid algebra, in

Incidence algebra Hecke algebra of a locally compact group Path algebra Groupoid algebra Stereotype algebra Stereotype group algebra Hopf algebra Lang,

Metro), a rapid transit rail line in Istanbul Turkey M13, the Mathieu groupoid by John Horton Conway M13 bacteriophage, a virus that infects bacteria

Geometric Analysis Atiyah–Singer index theorem Geometric analysis Lie groupoid Pseudogroup Morse theory Structural stability Harmonic map Smale, S. (January

intensional Martin-Löf type theory where identity types are interpreted as groupoids. This was the first model with non-trivial identity types, i.e. other

characteristic of a finite groupoid is the sum of 1/ |Gi |, where we picked one representative group Gi for each connected component of the groupoid. Euler calculus

in constructions concerning dualities, equational theories, flatness, groupoid rings, topologies, varieties,finite-state machines, tree languages and

have deep connections to string theory. Conway introduced the Mathieu groupoid, an extension of the Mathieu group M12 to 13 points. As a graduate student

is a generalization of universal algebra to partial operations. partial groupoid field — the multiplicative inversion is the only proper partial operation

in constructions concerning dualities, equational theories, flatness, groupoid rings, topologies, varieties,finite-state machines, tree languages and

S{\displaystyle S}: 318  is a stack X{\displaystyle {\mathcal {X}}} of groupoids over S{\displaystyle S} that is locally non-empty (each point p∈S{\displaystyle

h-cobordisms form a groupoid. Then a finer statement of the s-cobordism theorem is that the isomorphism classes of this groupoid (up to C-isomorphism

because of the dagger. A discrete category is trivially a dagger category. A groupoid (and as trivial corollary, a group) also has a dagger structure with the

can be seen as a generalization of group objects to monoidal categories. Groupoid object Awodey, Steve (2010), Category Theory, Oxford University Press,

Golubitsky, Martin; Stewart, Ian (2006), "Nonlinear dynamics of networks: the groupoid formalism", Bull. Amer. Math. Soc. (N.S.), 43 (3): 305–364, doi:10

Virtual group may refer to: Virtual band in music Groupoid in category theory (an area of mathematics) This disambiguation page lists articles associated

Equations, and Harmonic Analysis (Universitext, Springer, 2013; 2nd ed., 2018) Groupoid Metrization Theory: With Applications to Analysis on Quasi-Metric Spaces

axioms for groups, and may additionally use unary operations. Magma or groupoid: S and a single binary operation over S. Semigroup: an associative magma

x)\simeq G}. More generally, a groupoid is any small category in which every morphism is an isomorphism. In a groupoid, the set of all morphisms in the

semigroups in the same way that small categories generalise monoids and groupoids generalise groups. Semigroupoids have applications in the structural theory

{\displaystyle \operatorname {Hom} _{\Pi (X)}(x,y)} in the fundamental groupoid of X {\displaystyle X} has only one element. In complex analysis: an open

viewed as a category with a single object * or, more generally, if G is a groupoid, then each functor F:G→C{\displaystyle F:G\to C}, C a category, is called

finite type over a locally Noetherian base. Suppose that j:R→X×X is a flat groupoid whose stabilizer j−1Δ is finite over X (where Δ is the diagonal of X×X)

was not required by the rules of the identity type. In their paper, "The Groupoid Model Refutes Uniqueness of Identity Proofs", they showed that equality

HL mentioned above. For example, a finite groupoid algebra is a weak Hopf algebra. In particular, the groupoid algebra on [n] with one pair of invertible

mathematics education. Clark completed a PhD titled Classifying the Type of Groupoid C*-algebras at Dartmouth College in 2004. Clark then joined the faculty

with its unique element. A group G can be considered a category (even a groupoid) with one object which we denote by •. A functor from G to Set then corresponds

Universal property Filtration (mathematics) Category theory Monoidal category Groupoid Group object Coalgebra Bialgebra Hopf algebra Magma object Torsion (algebra)

subtyping for mobile processes" Martin Hofmann [de], Thomas Streicher, "The groupoid model refutes uniqueness of identity proofs" Dale A. Miller, "A multiple-conclusion

proof requires development of techniques of a cubical higher homotopy groupoid of a filtered space. For any triad of spaces (X;A,B){\displaystyle (X;A

Nichols algebra there is by attached a generalized root system and a Weyl groupoid. These are classified in. In particular several Dynkin diagrams (for inequivalent

group, then the simplicial nerve of G has the manifold Gn{\displaystyle G^{n}} as its space of n-simplices. More generally, G can be a Lie groupoid. v t e

or infinite-dimensional) jet bundles of Γ, which are asked to be a Lie groupoid. In particular, a Lie pseudogroup is called of finite order k if it can

first to groupoids—as proposed in Alexander Grothendieck's Esquisse d' un Programme (EdP)—and now already partially carried out for groupoids; the latter

analysis) Higgs boson C*-algebra Noncommutative quantum field theory M-theory Groupoid Spectral triple Criticism of non-standard analysis Riemann hypothesis O'Connor

fundamental groupoid (1998), Topology and Groupoids (2006) and Nonabelian Algebraic Topology: Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids (EMS

" Relations of the Erlangen program with work of Charles Ehresmann on groupoids in geometry is considered in the article below by Pradines. In mathematical

both an algebra and coalgebra structure. If C is a group (thought of as a groupoid with a single object), then RC is the group algebra. If C is a monoid (thought

p:F\to (Sch/S)} will be a category fibered in groupoids, F(X){\displaystyle F(X)} will be the groupoid lying over X→S{\displaystyle X\to S}. A stack F{\displaystyle

with a unit, there exists a contravariant functor from the fundamental groupoid of B{\displaystyle B} to the category of graded R{\displaystyle R}-modules

space of sections of a fibre bundle, or the space of bisections of a Lie groupoid, etc. Analogously to the notions of submersions and immersions between

categories of small categories or of groupoids. Instead the notion of group object in the category of groupoids turns out to be equivalent to the notion

equivalence relation or partial apartness (see e.g. Barthe et al., section 1). Groupoid Alexandre Buisse, Peter Dybjer, "The Interpretation of Intuitionistic Type

Differential Geometry (Wiley Classics Library) Volume 1, 2. Wedge Product of Lie Algebra Valued One-Form groupoid of Lie-algebra valued forms at the nLab

"⊕{\displaystyle \oplus }" for concatenation of paths in the fundamental groupoid and "⊖{\displaystyle \ominus }" for reversing the orientation of a path

Mathématiques. June 29, 2018. "Generalized Kac-Moody Superalgebras and Root Groupoid". YouTube. Fields Institute. May 3, 2022; The Pursuit of Symmetry: A Conference

Unneeded Unneeded Small category Unneeded Required Required Unneeded Unneeded Groupoid Unneeded Required Required Required Unneeded Magma Required Unneeded Unneeded

mathematical physics, including Riemannian geometry, symplectic geometry, Lie groupoids, geometric mechanics and deformation quantization. Among his most important

Dehornoy produced an example of an acyclic shelf by introducing a certain groupoid GLD{\displaystyle {\mathcal {G}}_{LD}} that captures the geometrical aspects

higher group. It can be thought of the topological realization of the groupoid BU(1){\displaystyle \mathbf {B} U(1)} whose object is a single point and

∗{\displaystyle *} such that every morphism is an isomorphism (i.e. a groupoid with one object). Then G=HomC(∗,∗){\displaystyle G=\mathrm {Hom} _{\mathcal

doi:10.25537/dm.2020v25.1571-1652. Debord, Claire (2001-07-01). "Holonomy Groupoids of Singular Foliations". Journal of Differential Geometry. 58 (3). doi:10

structure. As Brame emphasized, this approach relies on a non-associative groupoid structure with inverses to accurately represent the complex interactions

not always possible, the set of transformations is not a group (but a groupoid in modern terminology), thus the name pseudogroup. Cartan considered only

embeddability problem and the more general problem of embedding a category into a groupoid. Cancellation property Special classes of semigroups (Clifford & Preston

examples of bicomplexes that come up in nature. In particular, for a Lie groupoid, there is a bicomplex associated to itpg 7-8 which can be used to construct

conjecture. Fundamental group scheme Geometric invariant theory GIT quotient Groupoid scheme Group-scheme action Group-stack Invariant theory Quotient stack

Definition 2.1.) Let X{\displaystyle {\mathfrak {X}}} be a category fibered in groupoids over the category of schemes of finite type over a field with the structure

Definition 2.1.) Let X{\displaystyle {\mathfrak {X}}} be a category fibered in groupoids over the category of schemes of finite type over a field with the structure

category which assigns to any space B the groupoid of families over B. The use of these categories fibred in groupoids to describe a moduli problem goes back

free products and HNN extensions), and the second using the language of groupoids. The algebraic definition is easier to state: First, choose a spanning

{\mathcal {L}}\colon \Pi _{1}(X)\to {\textbf {Mod}}(R)} from the fundamental groupoid of X{\displaystyle X} to the category of modules over a commutative ring

type theory (PDF). Hoffman, Martin; Streicher, Thomas (July 1994). "The groupoid model refutes uniqueness of identity proofs". Proceedings Ninth Annual

2003 by Maxim Kontsevich), as well as a description of the symplectic groupoid integrating a Poisson manifold as an infinite-dimensional symplectic quotient

Unneeded Unneeded Small category Unneeded Required Required Unneeded Unneeded Groupoid Unneeded Required Required Required Unneeded Magma Required Unneeded Unneeded

Neumann algebras of a measurable equivalence relation and a measurable groupoid can be defined. These examples generalise von Neumann group algebras and

higher group. It can be thought of the topological realization of the groupoid BU(1){\displaystyle \mathbf {B} U(1)} whose object is a single point and

1 Covering Spaces 2 Groupoïdes 2 Groupoids 3 Homotopie et groupoïde de Poincaré 3 Homotopy and the Poincaré Groupoid 4 Espaces délaçables 4 Unloopable

quotient of this space by a canonical action of the infinite-dimensional groupoid of coordinate changes. Over an algebraically closed field, the substack

(2009). "Canonical extensions of the Johnson homomorphisms to the Torelli groupoid". Advances in Mathematics. 221 (2): 627–659. doi:10.1016/j.aim.2009.01

also to a different generalization of Lie groups, namely Lie groupoids, which are groupoid objects in the category of smooth manifolds with a further requirement

The fractal eigenfunctions show an explicit symmetry under the fractal groupoid of the modular group; this is developed in greater detail in the article

Ralph M., Khlebnikov, Sergei and Wehefritz-Kaufmann, Birgit. "Re-gauging groupoid, symmetries and degeneracies for Graph Hamiltonians and applications to

by π1(X,x0){\displaystyle \pi _{1}(X,x_{0})}. fundamental groupoid The fundamental groupoid of a space X is the category whose objects are the points

homotopy equivalence. For example, homotopy groups and fundamental n-groupoids of spaces generalize to homotopy monoids and fundamental n-categories

This leads to the idea of modding out the gauge group to obtain the gauge groupoid as the closest description of the gauge connection in quantum field theory

e = ett* for some projection e. In a *-semigroup, PI(S) is an ordered groupoid with the partial product given by s⋅t = st if s*s = tt*. In terms of examples

signature defined only for algebraic structures.) Let Set* denote the groupoid of sets and bijections. That is, the category whose objects are (all) sets

holonomy pseudogroup of general foliated manifolds, the germinal holonomy groupoid of general foliated manifolds, the germinal holonomy group of a leaf, and

theoretical physicists and mathematicians focused on quantum group and quantum groupoid applications in quantum theories; the proceedings of the meeting are published

fixed zero-object 0{\displaystyle 0}. Note the classifying space of a groupoid BG{\displaystyle B{\mathcal {G}}} moves the homotopy groups up one degree

A-field is defined, and used to prove further results on the norm group and groupoid of maximal ideals in a simple algebra over an A-field. The reciprocity

lattice with compact unit is isomorphic to the congruence lattice of some groupoid. The congruence lattice Con A of an algebra A is an algebraic lattice.

algebras and quantum groups, as well as quantum hypergroups and quantum groupoids. He is credited as a co-author or editor in more than 70 mathematics publications

of Elements of a given Degree in the free commutative entropic cyclic Groupoid". Proceedings of the Edinburgh Mathematical Society. 11 (4): 223–224. doi:10