Petrić, Zoran
Full Name
Petrić, Zoran
ORCID
Scopus Author ID


Country
Serbia
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
Type
Results 1-20 of 57 (Search time: 0.003 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 | Monoids, Segal's condition and bisimplicial spaces | 2015 | Četvrta Matematička Konferencija Republike Srpske; 7-16 | M30 |
13 | Petrić, Zoran | 270 Minutes on Categorial Proof Theory | 2015 | Logic in Computer Science; 18(26); 7-35 | M14 |
14 | Petrić, Zoran | On stretching the interval simplex-permutohedron | 1-Feb-2014 | Journal of Algebraic Combinatorics; 39(1); 99-125 | M21 |
15 | Petrić, Zoran ; Trimble, Todd | Symmetric bimonoidal intermuting categories and ω × ω reduced bar constructions | 1-Jan-2014 | Applied Categorical Structures; 22(3); 467-499 | M22 |
16 | Petrić, Zoran | Cuts and Graphs | 2014 | Hypothetical Reasoning, Eberhard Karls Universitaet Tuebingen; 44-44 | M30 |
17 | Čukić, Sonja; Petrić, Zoran | Classifying spaces of monoidal categories | 2014 | Treća Matematička Konferencija Republike Srpske; 23-29 | M30 |
18 | Došen, Kosta ; Petrić, Zoran | Graphs of plural cuts | 6-May-2013 | Theoretical Computer Science; 484; 41-55 | M23 |
19 | Došen, Kosta ; Petrić, Zoran | Ordinals in Frobenius monads | 1-Apr-2013 | Journal of Pure and Applied Algebra; 217(4); 763-778 | M22 |
20 | Došen, Kosta ; Petrić, Zoran | Syntax for split preorders | 1-Apr-2013 | Annals of Pure and Applied Logic; 164(4); 443-481 | M22 |
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 |