← back

folklore

Assorted results which are well-known but (probably) not written down. Each note is a few pages long and meant to be (somewhat) self-contained.

• Pshv(C) ⊗^L Pshv(D) ≃ Pshv(C × D).
• Flagged categories present valent categories.
• V(1,-):V\to\Cat is lax symmetirc monoidal