Related papers: Presentations for Globular Operads
In this expository article, we present a brief introduction to the theory of Hilbert modular forms and Galois representations, and describe what it means to attach a compatible system of Galois representations to a Hilbert modular form.
We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty…
This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…
This is the second part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part II), we develop logarithmic formal…
We compute equivariant fundamental classes of orbits in GL(2)-representations. As applications, we find degrees of the orbit closures corresponding to elliptic fibrations and self-maps of the projective line.
The goal of this article is to describe several presentations of the infinity category of algebras over some monad on the infinity category of chain complexes.
We introduce L-presentations: group presentations given by a generating set, a set of relations and a set of substitution rules on the generating set producing more relations. We first study in full generality the structure of finitely…
Operads may be represented as symmetric monoidal functors on a small symmetric monoidal category. We discuss the axioms which must be imposed on a symmetric monoidal functor in order that it give rise to a theory similar to the theory of…
This work addresses the homotopical analysis of enveloping operads in a general cofibrantly generated symmetric monoidal model category. We show the potential of this analysis by obtaining, in a uniform way, several central results…
Notions of `operad' and `multicategory' abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad * on a category S, we define the term `(S,*)-multicategory', subject to…
New universal invariant operators are introduced in a class of geometries which include the quaternionic structures and their generalisations as well as 4-dimensional conformal (spin) geometries. It is shown that, in a broad sense, all…
It is well known that strict $\omega$-categories, strict $\omega$-functors, strict natural $\omega$-transformations, and so on, form a strict $\omega$-category. A similar property for weak $\omega$-categories is one of the main hypotheses…
Wreath products involving symmetric inverse monoids/semigroups/categories arise in many areas of algebra and science, and presentations by generators and relations are crucial tools in such studies. The current paper finds such…
In these notes we generalize the theory of graphical functions from scalar theories to theories with spin.
Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic…
These lectures give an introduction to Gravitational Lensing. We discuss lensing by point masses, lensing by galaxies, and lensing by clusters and larger-scale structures in the Universe. The relevant theory is developed and applications to…
Generalizing classical extension theory, we solve a Schreier-type extension problem for polygroups by groups. As a consequence, we obtain a method for computing a presentation for a group from its action on a set. The usefulness of this…
In this work, I develop a new view of presentation theory for C*-algebras, both unital and non-unital, heavily grounded in classical notions from algebra. In particular, I introduce Tietze transformations for these presentations, which lead…
In this article, we develop new methods for counting integral orbits having bounded invariants that lie inside the cusps of fundamental domains for coregular representations. We illustrate these methods for a representation of cardinal…
We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is…