TY -
GEN
AU - Wullaert, Kobe
AU - Matthes, Ralph
AU - Ahrens, Benedikt
AU - Kobe Wullaert and Ralph Matthes and Benedikt Ahrens
TI -
Univalent Monoidal Categories
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Proof assistant Coq
KW - Rezk completion
KW - UniMath library
KW - Monoidal categories
KW - Displayed (bi)categories
KW - Univalence
PY - 2023
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRkYWdzdHVobDpvYWk6ZHJvcHMtb2FpLmRhZ3N0dWhsLmRlOjE4NDU4&tx_find_find%5Btype%5D=ris
ER -