## 8 Citations

### Proof Theory of Partially Normal Skew Monoidal Categories

- MathematicsACT
- 2020

This paper develops sequent calculi for partially normal skew monoidal categories, which are skew monoid categories with one or more structural laws invertible, and proves cut elimination and shows that the calculi admit focusing.

### The twisted tensor product of dg categories and a contractible 2-operad

- Mathematics
- 2018

It is well-known that the "pre-2-category" $\mathscr{C}at_\mathrm{dg}^\mathrm{coh}(k)$ of small dg categories over a field $k$, with 1-morphisms defined as dg functors, and with 2-morphisms defined…

### Principles of Program Verification for Arbitrary Monadic Effects. (Principes de la Vérification de Programmes à Effets Monadiques Arbitraires)

- Computer Science
- 2019

The goal of this thesis is to devise a principled semantic framework for verifying programs with arbitrary monadic effects in a generic way with respect to rich specifications, for properties such as program equivalence.

### University of Birmingham The sequent calculus of skew monoidal categories

- Mathematics
- 2018

Szlach´anyi’s skew monoidal categories are a well-motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but merely natural…

## References

SHOWING 1-10 OF 11 REFERENCES

### Coherence for Skew-Monoidal Categories

- MathematicsMSFP
- 2014

A variation of monoidal categories called skew-monoidal cat- egories where the unital and associativity laws are not required to be isomorphisms, only natural transformations is motivated, and a proof of this coherence proof is presented.

### On the Operads of J.p. May

- Mathematics
- 1972

Author's Note. When this manuscript was submitted in January 1972, the editor asked that it be expanded to study the relation of operads to clubs. The author found this too daunting a task at a busy…

### Problems of Associativity: A Simple Proof for the Lattice Property of Systems Ordered by a Semi-associative Law

- MathematicsJ. Comb. Theory, Ser. A
- 1972

### Skew structures in 2-category theory and homotopy theory

- Mathematics
- 2015

We study Quillen model categories equipped with a monoidal skew closed structure that descends to a genuine monoidal closed structure on the homotopy category. Our examples are 2-categorical and…

### Doctrinal adjunction

- 1974