4
$\begingroup$

I am using a this notion in a paper that I am writing. The notion is that $(\mathcal{C},\otimes, I)$ (which we will just call $\mathcal{C}$) is a symmetric tensor category, with a unit $I$. Then a prime object of $\mathcal{C}$ is an object $x$ such that if $x\sim y\otimes z$ (where $\sim$ means is isomorphic to), then $I\sim y$ or $I\sim z$. We call a category $\mathcal{C}$ a unique factorization category if all (non-unit) objects may be written as a tensor product of prime objects uniquely up to reordering the factors. My question is: has this notion been defined in the literature? If so where?

  • 0
    Since ~ is a restricted character, I changed it to '\cong'2012-09-26
  • 0
    Thank you. I realized that after I posted, and tried to edit it. It wouldn't let me since you already edited it. That's very funny.2012-09-26
  • 0
    Certainly unique factorization monoids have been studied, and it seems to me that you just apply the decateorification process which takes $C$ to the monoid of iso-classes in $C$. A more interesting notion would remember all the morphisms (and I can think of one ...). Of course this is no answer to your question, just a remark.2013-01-29
  • 0
    @MartinBrandenburg I agree that their certainly is a low hanging notion of what to do with morphisms. But I have an example or two in mind where it is not necessarily true that I have unique factorization on morphisms. However the morphisms in the category are used in a strong way to show that I have a UFC. I was wondering if anything in a general sense has been done.2013-01-30
  • 0
    Sounds cool. I'd read about it.2013-01-30

0 Answers 0