Related papers: C-system of a module over a $Jf$-relative monad

Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads have been suggested which provide a more fine-grained model…

The two pillars of rational conformal field theory and rational vertex operator algebras are modularity of characters on the one hand and its interpretation of modules as objects in a modular tensor category on the other one. Overarching…

In this short note, we construct a right adjoint to the functor which associates to a ring $R$ equipped with a group action its twisted group ring. This right adjoint admits an interpretation as semilinearization, in that it sends an…

Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring…

In this article we consider a family $\mathcal{C}(A, B)$ of analytic and locally univalent functions on the open unit disc $\ID=\{z :|z|<1\}$ in the complex plane that properly contains the well-known Janowski class of convex univalent…

For any finite group G with a finite G-set X and a modular tensor category C we construct a part of the algebraic structure of an associated G-equivariant monoidal category: For any group element g in G we exhibit the module category…

Lenses have a rich history and have recently received a great deal of attention from applied category theorists. We generalize the notion of lens by defining a category $\mathsf{Lens}_F$ for any category $\mathcal{C}$ and functor $F\colon…

Let $\mathcal{X}$ be a resolving and contravariantly finite subcategory of $\rm{mod}\mbox{-}\Lambda$, the category of finitely generated right $\Lambda$-modules. We associate to $\mathcal{X}$ the subcategory…

We investigate the generalized derivations and show that every generalized derivation on a simple Hilbert $C^*$-module either is closable or has a dense range. We also describe dynamical systems on a full Hilbert $C^*$-module ${\mathcal M}$…

Given an adjoint pair of functors $F,G$, the composite $GF$ naturally gets the structure of a monad. The same monad may arise from many such adjoint pairs of functors, however. Can one describe all of the adjunctions giving rise to a given…

A fundamental result in the theory of monads is the characterisation of the category of algebras for a monad in terms of a pullback of the category of presheaves on the category of free algebras: intuitively, this expresses that every…

We give a general construction of correlation functions in rational conformal field theory on a possibly non-orientable surface with boundary in terms of 3-dimensional topological quantum field theory. The construction applies to any…

Given the action of a group $G$ on a set $ X $ , the set of $ G $ -equivariant functions, those that commute with the action, i.e., $ f(g \cdot x) = g \cdot f(x) $ for all $ x \in X $ , $ g \in G $ , forms a monoid under function…

We extend the constructive dependent type theory of the Logical Framework $\mathsf{LF}$ with monadic, dependent type constructors indexed with predicates over judgements, called Locks. These monads capture various possible proof attitudes…

We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…

We clarify the relation between the `bosonisation' construction (due to the author) which can be used to turn a Hopf algebra $B$ in the category of $H$-modules or $H$-comodules into an equivalent ordinary Hopf algebra, and a version of…

Let $k$ be a field and let $C$ be a small category. A $k$-linear representation of $C$, or a $kC$-module, is a functor from $C$ to the category of finite dimensional vector spaces over $k$. When the category $C$ is more general than a…

Starting from an abelian rigid braided monoidal category C we define an abelian rigid monoidal category C_F which captures some aspects of perturbed conformal defects in two-dimensional conformal field theory. Namely, for V a rational…

Given a combinatorial (semi-)model category $M$ and a set of morphisms $C$, we establish the existence of a semi-model category $L_C M$ satisfying the universal property of the left Bousfield localization in the category of semi-model…