Deductive systems and coherence for skew prounital closed categories
vastutusandmed
Tarmo Uustalu, Niccolo Veltri, Noam Zeilberger
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 1-19
konverentsi nimetus, aeg
3rd Annual International Applied Category Theory Conference 2020, July 6-10 2020
konverentsi toimumispaik
Virtual Conference
WOS
kvartiil
kategooria (üld)
kategooria (alam)
märkused
Ilmus arxiv.org
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Uustalu, T., Veltri, N., Zeilberger, N. Deductive systems and coherence for skew prounital closed categories // Proceedings of the 3rd Annual International Applied Category Theory Conference 2020. : Cornell University, 2021. p. 1-19.