Related papers: On analytic groupoid cardinality
Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so far on reasoning frameworks for path expressions where node…
We classify, up to isomorphism and up to equivalence, involutions on graded-division finite-dimensional simple real (associative) algebras, when the grading group is abelian.
Graded-division algebras are building blocks in the theory of finite-dimensional associative algebras graded by a group G. If G is abelian, they can be described, using a loop construction, in terms of central simple graded-division…
We investigate the notion of associated graded coalgebra (algebra) of a bialgebra with respect to a subbialgebra (quotient bialgebra) and characterize those which are bialgebras of type one in the framework of abelian braided monoidal…
We introduce a general approach to contour integrals. It covers usual Abelian integrals, the higher order Melnikov integrals and the generalized Abelian integrals. We prove that the generating function always satisfies a linear differential…
The paper studies analytic functors between presheaf categories. Generalising results of A. Joyal and of R. Hasegawa for analytic endofunctors on the category of sets, we give two characterisations of analytic functors between presheaf…
We construct examples of localizations in the category of groups which take the Mathieu group $M_{11}$ to groups of arbitrarily large cardinality which are ``abelian up to finitely many generators''. The paper is part of a broader study on…
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…
We classify gradings by arbitrary abelian groups on the classical simple Lie and Jordan superalgebras $Q(n)$, $n \geq 2$, over an algebraically closed field of characteristic different from $2$ (and not dividing $n+1$ in the Lie case): fine…
The Graded Classification Conjecture (GCC) states that the pointed $K_0^{\operatorname{gr}}$-group is a complete invariant of the Leavitt path algebras of finite graphs when these algebras are considered with their natural grading by…
An answer to the question investigated in this paper brings a new characterization of internal groupoids such that: (a) it holds even when finite limits are not assumed to exist; (b) it is a full subcategory of the category of…
We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable conditions (including that M forms a factorization system),…
We introduce the notion of a critical cardinal as the critical point of sufficiently strong elementary embedding between transitive sets. Assuming the axiom of choice this is equivalent to measurability, but it is well-known that choice is…
We present a new method, involving monads and comonads from category theory, to help establish a certain type of equivalence of subcategories. As a case study we consider the category of topological gradings of $C^*$-algebras over a fixed…
Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…
For a complex quasi-projective manifold with a finite group action, we define higher order generalized Euler characteristics with values in the Grothendieck ring of complex quasi-projective varieties extended by the rational powers of the…
We find the cardinality of the value sets of polynomial maps associated with simple complex Lie algebras $B_2$ and $G_2$ over finite fields. We achieve this by using a characterization of their fixed points in terms of sums of roots of…
We develop the theory of groupoid graded semisimple rings. Our rings are neither unital nor one-sided artinian. Instead, they exhibit a strong version of having local units and being locally artinian, and we call them $\Gamma_0$-artinian.…
We explore the graded and filtered formality properties of finitely generated groups by studying the various Lie algebras over a field of characteristic 0 attached to such groups, including the Malcev Lie algebra, the associated graded Lie…
We show a classification method for finite groupoids and discuss the cardinality of cosets and its relation with the index. We prove a generalization of the Lagrange's Theorem and establish a Sylow theory for groupoids.