Related papers: Computation and Homotopical Applications of Induce…
We explore the relations among quadratic modules, 2-crossed modules, crossed squares and simplicial groups with Moore complex of length 2.
We describe algorithms for computing the intersection numbers of divisors and of Chern classes of the Hodge bundle on the moduli spaces of stable pointed curves. We also discuss the implementations and the results obtained. There are…
This book describes some computational methods to deal with modular characters of finite groups. It is the theoretical background of the MOC system of the same authors. This system was, and is still used, to compute the modular character…
We introduce the computer program MPL for computations with homotopy invariant iterated integrals on moduli spaces $\mathcal{M}_{0,n}$ of curves of genus 0 with $n$ ordered marked points. The program is an implementation of the algorithms…
Complex braid groups are the natural generalizations of braid groups associated to arbitrary (finite) complex reflection groups. We investigate several methods for computing the homology of these groups. In particular, we get the Poincar\'e…
Given a crossed module $\chi$, we introduce $\chi$-graded monoidal categories and $\chi$-fusion categories. We use spherical $\chi$-fusion categories to construct (via the state sum method) 3-dimensional Homotopy Quantum Field Theories with…
Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed $d$-manifolds endowed with extra structure in the form of homotopy classes of maps…
This thesis is concerned with the application of operadic methods, particularly modular operads, to questions arising in the study of moduli spaces of surfaces as well as applications to the study of homotopy algebras and new constructions…
We are presenting proofs of fundamental results related to homotopy idempotents, proofs that are sufficiently simple so that even the author can understand them. The first one is that homotopy idempotents in the category of pointed…
Bisets can be considered as categories. This note uses this point of view to give a simple proof of a Mackey-like formula expressing the tensor product of two induced bimodules.
Using a previous classification result on symmetric additive 2-cocycles, we collect a variety of facts about the Lubin-Tate cohomology of formal groups to compute the 2-primary component of the scheme of symmetric multiplicative 2-cocycles.…
After a thorough treatment of all algebraic structures involved, we address two dimensional holonomy operators with values in crossed modules of Hopf algebras and in crossed modules of associative algebras (called here crossed modules of…
Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring and $M$ a graded $R$-module. In this paper, we introduce the concept of graded classical and graded strongly classical 2-absorbing second submodules of graded…
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…
This is the fourth in a series of papers extending Martin-L\"of's meaning explanation of dependent type theory to higher-dimensional types. In this installment, we show how to define cubical type systems supporting a general schema of…
This paper provides some background to the theory of operads, used in the first author's papers on 2d topological field theory (hep-th/921204, CMP 159 (1994), 265-285; hep-th/9305013). It is intended for specialists.
We associate bicomplexes with several integrable models in such a way that conserved currents are obtained by a simple iterative construction. Gauge transformations and dressings are discussed in this framework and several examples are…
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly…
I will present a new method for thinking about and for computing loop integrals based on differential equations. All required information is obtained by algebraic means and is encoded in a small set of simple quantities that I will…
In this review article, we report on some recent advances on the computational aspects of cohomology intersection numbers of GKZ systems developed in \cite{GM}, \cite{MH}, \cite{MT} and \cite{MT2}. We also discuss the relation between…