“Strict initial object”的意思、由来-开放百科全书

词条

Strict initial object

释义

References
External links

{{Short description|Object in category theory}}In the mathematical discipline of category theory, a strict initial object is an initial object 0 of a category C with the property that every morphism in C with codomain 0 is an isomorphism. If C is a Cartesian closed category, then any initial object 0 of C is strict.^[1] Also, if C is a distributive or extensive category, then the initial object 0 of C is strict.^[2]

References

1. ^{{cite book|last=McLarty|first=Colin|date=4 June 1992|title=Elementary Categories, Elementary Toposes|publisher=Clarendon Press|url=https://books.google.com/books?id=V8cON1x39bIC|isbn=0191589497|access-date=13 February 2017}}
2. ^{{cite journal|url=http://www.sciencedirect.com/science/article/pii/002240499390035R|title=Introduction to extensive and distributive categories|journal=Journal of Pure and Applied Algebra|volume=84|issue=2|pages=145–158|last=Carboni|first=Aurelio|last2=Lack|first2=Stephen|last3=Walters|first3=R.F.C.|date=3 February 1993|access-date=13 February 2017|doi=10.1016/0022-4049(93)90035-R}}

External links

{{nlab|id=strict+initial+object|title=Strict initial object}}

1 : Objects (category theory)

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。