research
∙
07/31/2023
Canonical Gradings of Monads
We define a notion of grading of a monoid T in a monoidal category C, re...
share
research
∙
07/02/2022
What Makes a Strong Monad?
Strong monads are important for several applications, in particular, in ...
research
∙
04/14/2022
Proof Theory of Skew Non-Commutative MILL
Monoidal closed categories naturally model NMILL, non-commutative multip...
research
∙
01/26/2021
Proof Theory of Partially Normal Skew Monoidal Categories
The skew monoidal categories of Szlachányi are a weakening of monoidal c...
research
∙
01/11/2021
Deductive Systems and Coherence for Skew Prounital Closed Categories
In this paper, we develop the proof theory of skew prounital closed cate...
research
∙
03/11/2020
The Sequent Calculus of Skew Monoidal Categories
Szlachányi's skew monoidal categories are a well-motivated variation of ...
research
∙
12/31/2019
Interaction laws of monads and comonads
We introduce and study functor-functor and monad-comonad interaction law...
research
∙
10/18/2018