Calin Tataru

Sadly, I no longer have the time to work on Explorer. That might change in the future, but in the meantime, I'm happy to accept some pull requests (and even...

Hi, I’m afraid I don’t know how to help. You should check with highlight.js to see if they support this.

Hi, you can do that by changing the `repoHost` of a project to `gitlab` instead of the default `github`. Don’t forget to specify a `gitlabUsername` in your site config.

Could be related to #339 which is (supposedly) fixed.

So what happens here is we produce a contraction/expansion cospan $X \rightarrow Y \leftarrow Z$ and $Z$ does *not* typecheck (however the diagram $X \rightarrow Y \leftarrow Z$ does typecheck...

Also this works fine if you replace the algebraic cap with a homotopy cap (i.e. mark the generator as invertible).

I disagree. If you look at the slices of the diagram, they all have as their target the identity on blue so the max dimensional generator is blue. Also if...

Thanks for this Kim, I will look into it!

Every monoid in a braided monoidal category is commutative (*both* the wire and monoid need to be oriented):   Similarly, given any 3-cell, you can swap any of its...

Any invertible monoid gives rise to a Frobenius-like structure (monoid needs to be oriented, wire may be framed):