Notes
2022
随伴の双圏
Dec 19, 2022.
PDF
.
See
here
for older notes.