Ideals of closed categories (Q1105688)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4059658
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Ideals of closed categories |
scientific article; zbMATH DE number 4059658 |
Statements
Ideals of closed categories (English)
0 references
1988
0 references
By an ideal of a (symmetric monoidal) closed category, the authors mean a subobject of the unit for the monoidal structure. The main result of this paper is that, for a class of ``suitable'' closed categories, the operation which sends a closed category to its poset of ideals can be made into a functor, which is right lax (or colax) adjoint to the inclusion functor from closed posets to closed categories. This generalizes known results for categories of modules over commutative rings and for Grothendieck toposes.
0 references
poset of ideals
0 references
closed posets
0 references
closed categories
0 references
0.9007775
0 references
0 references
0 references
0 references
0.8898589
0 references
0 references
0 references
0 references
0.8828815
0 references
