annotate wisdom/monoidal category @ 7137:59c9be91adcd

<oerjan> mkx bin/slashlearn//sep="/"; [[ "$0" == *//* ]] && sep="//"; [[ "$1" == ?*"$sep"* ]] || exit 1; key="$(echo "${1%%$sep*}" | lowercase)"; value="${1#*$sep}"; [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned"; echo "$value" > "$(echo-p "wisdom/$key")" && echo "$verb \xc2\xab$key\xc2\xbb"
author HackBot
date Sun, 06 Mar 2016 16:48:02 +0000
parents c1e09681cd57
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4186
c1e09681cd57 <shachaf> echo \'Monoidal categories are just 2-categories with a single object.\' > wisdom/\'monoidal category\'
HackBot
parents:
diff changeset
1 Monoidal categories are just 2-categories with a single object.