TypePad had previously removed the ability to create new accounts at some point in 2020. It gave no specific rationale for the shutdown beyond calling it a "difficult decision." As recently as March ...

A Freyd category consists of two categories C and K with an identity-on-objects functor J: C → K, where: - C has finite products - K is symmetric premonoidal (with a functor ⊗ z ) - J maps finite ...