Author: Urs Format: MarkdownItexI found we needed an entry _[[2Mod]]_ such as to be able to say things like "a sesquialgebra is an algebra internal to $2Mod$".
So I started something.
I found we needed an entry 2Mod such as to be able to say things like “a sesquialgebra is an algebra internal to ”.