еНаука - преглед
Преглед према Аутор Petrić, Zoran
Приказ резултата 1 до 20 од 61
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2015 | 270 Minutes on Categorial Proof Theory | Petrić, Zoran ![]() ![]() | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2003 | A Brauerian representation of split preorders | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2024 | A Diagrammatic Presentation of the Category 3Cob | Nikolić, Jovana; Petrić, Zoran ![]() ![]() ![]() ![]() | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2020 | A faithful 2-dimensional TQFT | Gajović, S.; Petrić, Zoran ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2006 | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2017 | A note on semisymmetry | Krapež, Aleksandar L. ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2015 | A planarity criterion for graphs | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2019 | A simple permutoassociahedron (✓) | Baralić, Djordje ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2006 | Associativity as commutativity | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2002 | Bicartesian coherence | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2022 | Biproizvodi u monoidalnim kategorijama (✓) | Zekić, Mladen ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
1999 | Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2014 | Classifying spaces of monoidal categories | Čukić, Sonja; Petrić, Zoran ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | Coherence for closed categories with biproducts (✓) | Petrić, Zoran ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2011 | Coherence for modalities | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2010 | Coherence for monoidal endofunctors | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2010 | Coherence for monoidal monads and comonads | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2006 | Coherence for star-autonomous categories | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2009 | Coherence in linear predicate logic | Došen, Kosta ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2002 | Coherence in substructural categories | Petrić, Zoran ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |