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.
• CommentAuthorJohn Baez
• CommentTimeAug 9th 2019

Fixed third definition of 3-group.

• CommentRowNumber2.
• CommentAuthorAli Caglayan
• CommentTimeAug 9th 2019

What does it mean for a 1-morphism to have a weak inverese? Is it some morphism that tensors to the identity?

• CommentRowNumber3.
• CommentAuthorRichard Williamson
• CommentTimeAug 9th 2019
• (edited Aug 9th 2019)

Should just mean that it is an isomorphism up to a 2-isomorphism (and maybe some coherence conditions).