Skip to main content
naahiv's user avatar
naahiv's user avatar
naahiv's user avatar
naahiv
  • Member for 3 years, 2 months
  • Last seen this week
awarded
awarded
awarded
comment
Proof that the unit of a Cartesian monoidal category is terminal
Perfect - exactly what I was looking for.
Loading…
comment
What is the proof of the compatibility of a braiding with the unitors?
After reading more of it, this text is a great resource aside from just this proof, thanks!
accepted
answered
Loading…
awarded
awarded
Loading…
awarded
revised
Loading…
awarded
Loading…
1
2