the Lagrangian submanifolds of M k × M via symplectic reduction. If M is also a symplectic groupoid, then its multiplication space is an associative product in this operad. Following this idea, we provide a deformation theory for symplectic groupoids analog to the deformation theory of algebras. It turns out that the semiclassical part of Kontsevich’s deformation of C∞ d is a deformation of the...

We present a discrete analog of the recently introduced Hamilton– Pontryagin variational principle in Lagrangian mechanics. This unifies two, previously disparate approaches to discrete Lagrangian mechanics: either using the discrete Lagrangian to define a finite version of Hamilton’s action principle, or treating it as a symplectic generating function. This is demonstrated for a discrete Lagra...

We explore the connections between automata, groups, limit spaces of self-similar actions, and tilings. In particular, we show how a group acting “nicely” on a tree gives rise to a self-covering of a topological groupoid, and how the group can be reconstructed from the groupoid and its covering. The connection is via finite-state automata. These define decomposition rules, or self-similar tilin...

Abstract. In a series of papers, we have shown that from the representation theory of a compact groupoid one can reconstruct the groupoid using the procedure similar to the Tannaka-Krein duality for compact groups. In this part we study the Fourier and Fourier-Plancherel transforms and prove the Plancherel theorem for compact groupoids. We also study the central functions in the algebra of squa...

Every AF-algebra A arises as the C *-algebra of a locally finite pointed directed graph in the sense of Kumjian, Pask, Raeburn, and Renault. For AF-algebras, the diagonal subalgebra defined by Strˇatilˇa and Voiculescu is consistent with Kumjian's notion of diagonal, and the groupoid arising from a well-chosen Bratteli diagram for A coincides with Kumjian's twist groupoid constructed from a dia...

The groupoid interpretation of dependent type theory given by Hofmann and Streicher associates to each closed type a category whose objects represent the elements of that type and whose maps represent proofs of equality of elements. The categorial structure ensures that equality is reflexive (identity maps) and transitive (closure under composition); the groupoid structure, which demands that e...

We describe the point and contact equivalence groupoids of an important class two-dimensional quasilinear hyperbolic equations. In particular, we prove that this is normalized in usual sense with respect to transformations, its groupoid generated by first-order prolongation groupoid, vertex group wave equation a family admissible transformations between trivially Darboux-integrable

The notion of recognition of a language by a finite semigroup can be generalized to recognition by finite groupoids, i.e. sets equipped with a binary operation ‘ · ’ which is not necessarily associative. It is well known that L can be recognized by a groupoid iff L is context-free. But it is also known that some subclasses of groupoids can only recognize regular languages. For example, loops re...