# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTodd_Trimble
• CommentTimeNov 4th 2009
• (edited Sep 27th 2016)

Per the request of Toby and Urs in the thread on the rig of cycles forming a lambda rig, I wrote trace of a category.

Edit, almost 7 years later: that thread was here.

• CommentRowNumber2.
• CommentAuthorTodd_Trimble
• CommentTimeSep 27th 2016

Filled in a missing argument in the calculation $Tr(FinSet) = \{cycle \; types\}$.