research
∙
09/19/2023
Lifting star-autonomous structures
For a functor Q from a category C to the category Pos of ordered sets an...
share
research
∙
07/28/2022
Frobenius structures in star-autonomous categories
It is known that the quantale of sup-preserving maps from a complete lat...
research
∙
05/09/2022
Unitless Frobenius quantales
It is often stated that Frobenius quantales are necessarily unital. By t...
research
∙
04/26/2021
Bijective proofs for Eulerian numbers in types B and D
Let ⟨n k⟩, ⟨B_n k⟩, and ⟨D_n k⟩ be the Eulerian numbers in the types A, ...
research
∙
01/26/2021
Dualizing sup-preserving endomaps of a complete lattice
It is argued in (Eklund et al., 2018) that the quantale [L,L] of sup-pre...
research
∙
11/04/2019
The involutive quantaloid of completely distributive lattices
Let L be a complete lattice and let Q(L) be the unital quantale of join-...
research
∙
06/13/2019
On discrete idempotent paths
The set of discrete lattice paths from (0, 0) to (n, n) with North and E...
research
∙
01/04/2019
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond
Ruitenburg's Theorem says that every endomorphism f of a finitely genera...
research
∙
12/05/2018
The continuous weak order
The set of permutations on a finite set can be given the lattice structu...
research
∙
07/18/2018
Mix -autonomous quantales and the continuous weak order
The set of permutations on a finite set can be given a lattice structure...
research
∙
04/17/2018
Ruitenburg's Theorem via Duality and Bounded Bisimulations
For a given intuitionistic propositional formula A and a propositional v...
research
∙
03/05/2018
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)
It is a consequence of existing literature that least and greatest fixed...
research
∙
10/30/2017