Monoidal categories with natural numbers object (Q920197): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coalgebras and cartesian categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Families parametrized by coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4735315 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3803296 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3727946 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence for bicategories and indexed categories / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00370829 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1507082320 / rank | |||
Normal rank |
Latest revision as of 11:18, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monoidal categories with natural numbers object |
scientific article |
Statements
Monoidal categories with natural numbers object (English)
0 references
1989
0 references
The authors begin by defining the concept of a left natural number object (LNNO) in a monoidal category. If it exists it is unique up to isomorphism. A right natural number object (RNNO) is defined in a similar way. If both exist then they are isomorphic. The authors also gives an example of an LNNO which is not RNNO. It is shown that an LNNO can be made into a monoid. In the second section the authors construct morphisms \(N^ k\otimes A\to A\otimes N^ k\) where N is an LNNO and shows that the full subcategory determined by the objects isomorphic to \(N^ k\) is a symmetric monoidal category. This simplifies the study since there is no distinction between LNNO and RNNO if we have symmetry. In that case we let NNO denote LNNO or RNNO. In the third section the authors show that if N is an NNO then N has a comonoid structure which is cocommutative. It is a also noted that the category of cocommutative comonoids is cartesian. This makes it possible to reduce the study of NNO's to the case where the category is cartesian where the subject is well developed. (This is dealt with in a paper which has not yet appeared.) The final section deals with free monoidal categories with LNNO.
0 references
natural number object
0 references
monoidal category
0 references