Related papers: Lecture Notes on Modular Infinity Operads and Grot…

We study modular theory in hyperfinite von Neumann algebras, i.e. in those of type II or type III, from the viewpoint of a subregion charge sector decomposition. We address this symmetry resolution by considering infinite tensor products of…

We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be seen as a refinement and…

In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that…

These are lecture notes for a course in Winter 2022/23, updated and completed in October 2025. The goal of the lectures is to present some recent developments around six-functor formalisms, in particular: the abstract theory of 6-functor…

We present a new modular proof method of termination for second-order computation, and report its implementation SOL. The proof method is useful for proving termination of higher-order foundational calculi. To establish the method, we use a…

This volume contains the final versions of the papers presented at the 3rd International Workshop on Computational Models for Cell Processes (CompMod 2011). The workshop took place on September 10, 2011 at the University of Aachen, Germany,…

Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality…

Lecture notes delivered in Barcellona in the fall of 2003

This paper is a review of concepts from graded commutative algebra with specific attention given to length and multiplicity. The author's motivation for this paper comes from the study of equivariant cohomology in algebraic topology where…

These are extended notes of the course given by the author at RIMS, Kyoto, in October 2016. The aim is to give a self-contained overview on the recently developed approach to differential calculus on metric measure spaces. The effort is…

These are lecture notes of a course taken in Leipzig 2023, spring semester. It deals with extremal combinatorics, algebraic methods and combinatorial geometry. These are not meant to be exhaustive, and do not contain many proofs that were…

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

In 2006, the course "Modeling of Organizations" is taught for the third time. This third time will be the second time we will use the new lecture notes "Work Systems Modelling" from the DA VINCI series. These lecture notes, however, will be…

This set of lecture notes is an expanded version of a mini-course the author gave in March of 2025 for the program ``Representation Theory \& Noncommutative Geometry" at the Institut Henri Poincar\'e, Paris. The goal is to provide a survey…

I introduce modal group theory, in which we study the category of all groups, considering embeddability as providing a notion of modal possibility. Using HNN extensions and Britton's lemma, I demonstrate that the modal language of groups is…

These are the lecture notes for a course taught at Tsinghua University in the spring of 2022. In these notes, we develop the basic theory of vertex operator algebras (VOAs) and their conformal blocks using complex-analytic methods. In…

These notes contain a survey of some aspects of the theory of graded differential algebras and of noncommutative differential calculi as well as of some applications connected with physics. They also give a description of several new…

These notes are for the author's lectures, "Integral Reduction and Applied Algebraic Geometry Techniques" in the School and Workshop on Amplitudes in Beijing 2016. I introduce the applications of algebraic geometry methods on multi-loop…

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…

Infinite time Turing machines (ITTMs) have been introduced by Hamkins and Lewis in their seminal article arXiv:math/9808093. The strength of the model comes from a limit rule which allows the ITTM to compute through ordinal stages. This…