Kategorie lepidla - Adhesive category - Wikipedia
| Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto otázkách na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) | tento článek případně obsahuje původní výzkum. Prosím vylepši to podle ověřování vznesené nároky a přidání vložené citace. Výroky sestávající pouze z původního výzkumu by měly být odstraněny. (Dubna 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
(Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
V matematice, an kategorie lepidla je kategorie kde tlačení monomorfismů existuje a funguje víceméně stejně jako v kategorii množin. Příkladem kategorie lepidel je kategorie řízených multigrafů nebo toulce, a teorie pojivových kategorií je v teorii důležitá přepis grafu.
Přesněji řečeno, kategorie lepidel je kategorie, kde platí některá z následujících ekvivalentních podmínek:
- C má vše odvolání, to má tlačení spolu monomorfismy, a vytlačovací čtverce monomorfismů jsou také čtverce zpětného rázu a jsou stabilní pod zpětným rázem.
- C má všechny pullbacky, má tlaky podél monomorfismů, a ty jsou také (dvoukategorické) tlaky v dvoukategorie z rozpětí vC.
Li C je malý, můžeme to rovnocenně říci C má všechny pullbacky, má tlaky podél monomorfismů a připouští úplné vložení do Grothendieck topos zachování zpětných rázů a zachování tlaků monomorfismů.
Reference
- Steve Lack a Pawel Sobocinski, Kategorie lepidel[trvalý mrtvý odkaz ], Základní výzkum v informaticeBRICS RS-03-31, říjen 2003.
- Richard Garner a Steve Lack, „Na axiomy pro kategorie lepidla a kvaziadheziva“, Teorie a aplikace kategorií, Sv. 27, 2012, č. 3, str. 27–46.
- Steve Lack a Pawel Sobocinski, „Topózy jsou lepicí“.
- Steve Lack, „Vkládací věta pro kategorie lepidel“, Teorie a aplikace kategorií, Sv. 25. 2011, č. 7, str. 180–188.
externí odkazy