Tarmo Uustalu | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Shin-ya Katsumata
2 publications
Noam Zeilberger
1 publication
Niccolò Veltri
1 publication
Tetsuya Sato
1 publication

research

∙ 03/11/2020

The Sequent Calculus of Skew Monoidal Categories

Szlachányi's skew monoidal categories are a well-motivated variation of ...

0 Tarmo Uustalu, et al. ∙

research

∙ 10/18/2018

Codensity Lifting of Monads and its Dual

We introduce a method to lift monads on the base category of a fibration...

0 Shin-ya Katsumata, et al. ∙

Success!

An error occurred