TY  - RPRT
TI  - On strict extensional reflexivity in compact closed categories
AU  - Peter Hines
PY  - 2022
UR  - https://arxiv.org/abs/2202.08130
ID  - 2202.08130
ER  -