The canonical example in my mind is:
Sets ~> vector spaces ~> linear categories
This is not so trivial -- it is relevant to the topic of extended TQFTs.
Kevin H. Lin
- 21k
- 10
- 116
- 190