Reimaa, Ülo, juhendajaAhman, Danel, juhendajaVarjas, HelenaTartu Ülikool. Matemaatika ja statistika instituutTartu Ülikool. Loodus- ja täppisteaduste valdkond2026-06-172026-06-172026https://hdl.handle.net/10062/122288Käesolevas bakalaureusetöös tutvustatakse multikategooria, vaba multikategooria ning esitatava multikategooria mõisteid. Veendutakse, et mittekommutatiivne lineaarloogika ilma loogiliste tehtemärkideta moodustab vaba multikategooria signatuuril. Lisaks näidatakse, et mittekommutatiivne lineaarloogika koos oma multiplikatiivse konjunktsiooni tehtemärgiga moodustab esitatava multikategooria.ethttps://creativecommons.org/licenses/by-nc-nd/4.0/lineaarloogikavabad multikategooriadesitatavad multikategooriadlinear logicfree multicategoriesrepresentable multicategoriesbakalaureusetöödvõrguväljaandedThesis