Petrić, Zoran
Loading...
3
0
20
0
false
Full Name
Petrić, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 2-category | Associahedron | Bicategory | Cat-operad | Coherence | Hemiassociahedron | Multicategory | Nominal arity | Non-symmetric operad | Operad | Permutohedron | Symmetric groups | Weak Cat-operad
- 1 Abstract polytope | Associahedron | Cyclohedron | Hypergraph | Permutohedron | Simple polytope | Simplex | Truncation
- 1 adjunction | Brauer's centralizer algebras | matrix representation | symmetric groups
- 1 Adjunction | Categorial coherence | Congruence relation | Equality | Equality of proofs | Equivalence relation | Generality of proofs | Linear logic | Monoidal categories | Preordering relation
- 1 Adjunction | Category | Embedding | Functor | Homotopy | Monadic adjunction | Quasigroup | Semisymmetrization | Variety
- 1 Associahedron | Building set | Combinatorial blowup | Cyclohedron | Hypergraph | Nested set | Permutohedron | Simple polytope | Simplex | Stellar subdivision | Truncation
- 1 Associativity | Binomial coefficients | Coherence | Commutativity | Mac Lane's hexagon | Mac Lane's pentagon | Monoidal categories | Symmetric groups | Symmetric monoidal categories | Yang-Baxter equation
- 1 Associativity | Coherence | Commutativity | Iterated monoidal categories | Loop spaces | Monoidal categories | Symmetric monoidal categories
- 1 Associativity | Commutativity | Coherence | Simple polytopes | Geometric realisation
- 1 Bar construction | Coherence | Infinite loop spaces | Symmetric monoidal categories
- next >
Date issued
Results 1-20 of 46 (Search time: 0.004 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Petrić, Zoran ; Zekić, Mladen | Coherence for closed categories with biproducts | 1-Mar-2021 | Journal of Pure and Applied Algebra; 225(3); 106533 | ~M22 |
| 2 | Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade | Proofs and surfaces | 1-Oct-2020 | Annals of Pure and Applied Logic; 171(9); 102845 | M21 |
| 3 | Gajović, Stevan; Petrić, Zoran ; Telebaković Onić, Sonja | A faithful 2-dimensional TQFT | 1-Jan-2020 | Homology, Homotopy and Applications; 22(1); 391-399 | M23 |
| 4 | Baralić, Đorđe ; Ivanović, Jelena; Petrić, Zoran | A simple permutoassociahedron | Dec-2019 | Discrete Mathematics; 342(12) | M22 |
| 5 | Čukić, Sonja Lj.; Petrić, Zoran | The n-fold reduced bar construction | 1-Sep-2018 | Journal of Homotopy and Related Structures; 13(3); 503-543 | |
| 6 | Baralić, Djordje ; Petrić, Zoran ; Telebaković, Sonja | Spheres as frobenius objects | 18-Jul-2018 | Theory and Applications of Categories; 33; 691-726 | M23 |
| 7 | Došen, Kosta ; Petrić, Zoran | Representing conjunctive deductions by disjunctive deductions | 1-Mar-2017 | Review of Symbolic Logic; 10(1); 145-157 | M21 |
| 8 | Krapež, Aleksandar ; Petrić, Zoran | A note on semisymmetry | 1-Jan-2017 | Quasigroups and Related Systems; 25(2); 269-278 | |
| 9 | Došen, Kosta ; Petrić, Zoran | Weak cat-operads | 25-Mar-2015 | Logical Methods in Computer Science; 11(1) | M22 |
| 10 | Došen, Kosta ; Petrić, Zoran | A planarity criterion for graphs | 1-Jan-2015 | SIAM Journal on Discrete Mathematics; 29(4); 2160-2165 | M22 |
| 11 | Petrić, Zoran | Segal's multisimplicial spaces | 1-Jan-2015 | Publications de l'Institut Mathematique; 97(111); 11-21 | M24 |
| 12 | Petrić, Zoran | On stretching the interval simplex-permutohedron | 1-Feb-2014 | Journal of Algebraic Combinatorics; 39(1); 99-125 | M21 |
| 13 | Petrić, Zoran ; Trimble, Todd | Symmetric bimonoidal intermuting categories and ω × ω reduced bar constructions | 1-Jan-2014 | Applied Categorical Structures; 22(3); 467-499 | M22 |
| 14 | Došen, Kosta ; Petrić, Zoran | Graphs of plural cuts | 6-May-2013 | Theoretical Computer Science; 484; 41-55 | M23 |
| 15 | Došen, Kosta ; Petrić, Zoran | Ordinals in Frobenius monads | 1-Apr-2013 | Journal of Pure and Applied Algebra; 217(4); 763-778 | M22 |
| 16 | Došen, Kosta ; Petrić, Zoran | Syntax for split preorders | 1-Apr-2013 | Annals of Pure and Applied Logic; 164(4); 443-481 | M22 |
| 17 | Došen, Kosta ; Petrić, Zoran | Shuffles and concatenations in the construction of graphs | 1-Dec-2012 | Mathematical Structures in Computer Science; 22(6); 904-930 | M22 |
| 18 | Došen, Kosta ; Petrić, Zoran | Symmetric self-adjunctions and matrices | 1-Dec-2012 | Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082 | |
| 19 | Došen, Kosta ; Petrić, Zoran | Intermutation | 1-Feb-2012 | Applied Categorical Structures; 20(1); 43-95 | M23 |
| 20 | Došen, Kosta ; Petrić, Zoran | Isomorphic formulae in classical propositional logic | 1-Feb-2012 | Mathematical Logic Quarterly; 58(1-2); 5-17 | M23 |
Projects
(Co-Investigators)
Results 1-4 of 4 (Search time: 0.0 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
| PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |
| PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |
| PROJECT 144013 | Representations of logical structures and their application in computer science | 01-01-2006 | 31-12-2010 | Ognjanović, Zoran |