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 | 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 | 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
- 1 Bar construction | Infinite loop spaces | Monoidal categories
- 1 Bialgebra | Comonad | Frobenius algebra | Monad | Normal form | Split preorder
- next >
Type
Results 1-20 of 27 (Search time: 0.006 seconds).
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 |