nLab
k-monoidal table

Revised on November 1, 2012 17:38:38 by Urs Schreiber (131.174.41.102)