Gorenstein projective bimodules via monomorphism categories and filtration categories

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras A and B, we use the special monomorphism category $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ to describe some Gorenstein projective bimodules over the tensor product of A and B. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ being the category of all Gorenstein projective bimodules. In addition, if both A and B are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.     

Differential algebras in codifferential categories

Differential categories were introduced by Blute, Cockett, and Seely as categorical models of differential linear logic and have since led to abstract formulations of many notions involving differentiation such as the directional derivative, differential forms, smooth manifolds, De Rham cohomology, etc. In this paper we study the generalization of differential algebras to the context of differential categories by introducing $\mathsf{T}$-differential algebras, which can be seen as special cases of Blute, Lucyshyn-Wright, and O'Neill's notion of $\mathsf{T}$-derivations. As such, $\mathsf{T}$-differential algebras are axiomatized by the chain rule and as a consequence we obtain both the higher-order Leibniz rule and the Faà di Bruno formula for the higher-order chain rule. We also construct both free and cofree $\mathsf{T}$-differential algebras for suitable codifferential categories and discuss power series of $\mathsf{T}$-algebras.     

Uniform interpolation and the existence of sequent calculi

This paper presents a uniform and modular method to prove uniform interpolation for several intermediate and intuitionistic modal logics. The proof-theoretic method uses sequent calculi that are extensions of the terminating sequent calculus $\mathsf{G4ip}$ for intuitionistic propositional logic. It is shown that whenever the rules in a calculus satisfy certain structural properties, the corresponding logic has uniform interpolation. It follows that the intuitionistic versions of $\mathsf{K}$ and $\mathsf{KD}$ (without the diamond operator) have uniform interpolation. It also follows that no intermediate or intuitionistic modal logic without uniform interpolation has a sequent calculus satisfying those structural properties, thereby establishing that except for the seven intermediate logics that have uniform interpolation, no intermediate logic has such a sequent calculus.     

On modal logics arising from scattered locally compact Hausdorff spaces

For a topological space X, let $\mathsf{L}(X)$ be the modal logic of X where □ is interpreted as interior (and hence ◇ as closure) in X. It was shown in [3] that the modal logics S4, S4.1, S4.2, S4.1.2, S4.Grz, ${\mathsf{S4}.\mathsf{Grz}}_n$ ($n\ge 1$), and their intersections arise as $\mathsf{L}(X)$ for some Stone space X. We give an example of a scattered Stone space whose logic is not such an intersection. This gives an affirmative answer to [3, Question 6.2]. On the other hand, we show that a scattered Stone space that is in addition hereditarily paracompact does not give rise to a new logic; namely we show that the logic of such a space is either S4.Grz or ${\mathsf{S4}.\mathsf{Grz}}_n$ for some $n\ge 1$. In fact, we prove this result for any scattered locally compact open hereditarily collectionwise normal and open hereditarily strongly zero-dimensional space.