Přísný počáteční objekt - Strict initial object - Wikipedia

V matematické disciplíně teorie kategorií, a přísný počáteční objekt je počáteční objekt 0 z a kategorie C s majetkem, který každý morfismus v C s codomain 0 je izomorfismus. Li C je Kartézská uzavřená kategorie, pak libovolný počáteční objekt 0 z C je přísný.[1] Také pokud C je distribuční nebo rozsáhlá kategorie, pak počáteční objekt 0 z C je přísný.[2]

Reference

  1. ^ McLarty, Colin (4. června 1992). Základní kategorie, základní topózy. Clarendon Press. ISBN  0191589497. Citováno 13. února 2017.
  2. ^ Carboni, Aurelio; Nedostatek, Stephen; Walters, R.F.C. (3. února 1993). "Úvod do rozsáhlých a distribučních kategorií". Journal of Pure and Applied Algebra. 84 (2): 145–158. doi:10.1016 / 0022-4049 (93) 90035-R.

externí odkazy