Related papers: Permutation modules, Mackey functors, and Artin mo…

We introduce moduli spaces of abelian varieties which are arithmetic models of Shimura varieties attached to unitary groups of signature (n-1, 1). We define arithmetic cycles on these models and study their intersection behaviour. In…

We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…

Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a…

Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these…

The present article is the first of a series whose goal is to define a logical formalism in which it is possible to reason about genetics. In this paper, we introduce the main concepts of our language whose domain of discourse consists of a…

Enlarging on Parts I and II we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of full dynamic equations, including equations where the medium is moving or otherwise changing…

Let X be an abelian scheme over a scheme B. The Fourier--Mukai transform gives an equivalence between the derived category of X and the derived category of the dual abelian scheme. We partially extend this to certain schemes X over B (which…

In the first part of this paper we construct a model structure for the category of filtered cochain complexes of modules over some commutative ring $R$ and explain how the classical Rees construction relates this to the usual projective…

We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as…

In this note, we define a recollement of additive categories, and prove that such a recollement can induce a recollement of their quotient categories. As an application, we get a recollement of quotient triangulated categories induced by…

Let $k$ be a commutative $\mathbb{Q}$-algebra. We study families of functors between categories of finitely generated $R$-modules which are defined for all commutative $k$-algebras $R$ simultaneously and are compatible with base changes.…

We review and extend previous results on coincidence of mesh patterns. We introduce the notion of a force on a permutation pattern and apply it to the coincidence classification of mesh patterns, completing the classification up to size…

This is a very brief review of relations between Seiberg-Witten theories and integrable systems with emphasis on the perturbative prepotentials presented at the E.S.Fradkin Memorial Conference.

In the Lubin-Tate setting we study pairings for analytic $(\varphi_L,\Gamma_L)$-modules and prove an abstract reciprocity law which then implies a relation between the analogue of Perrin-Riou's Big Exponential map as developed by Berger and…

Suitable duals of multimodules are introduced and used to provide transposition contravariant right semi-adjunctions (and dualitites under reflexivity). Several additional notions on multimodules are discussed: generalized morphisms and…

We explore the interlacing between model category structures attained to classes of modules of finite $\mathcal{X}$-dimension, for certain classes of modules $\mathcal{X}$. As an application we give a model structure approach to the…

Causal models are playing an increasingly important role in machine learning, particularly in the realm of explainable AI. We introduce a conceptualisation for generating argumentation frameworks (AFs) from causal models for the purpose of…

This article investigates duals for bimodule categories over finite tensor categories. We show that finite bimodule categories form a tricategory and discuss the dualities in this tricategory using inner homs. We consider inner-product…

The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…

In this paper we study categories of tilting modules. Our starting point is the tilting modules for a reductive algebraic group G in positive characteristic. Here we extend the main result in [8] by proving that these tilting modules form a…