Jibladze, Mamuka
- Third Mac Lane cohomology via categorical rings
2006/08/21 by Mamuka Jibladze, Teimuraz Pirashvili, Jibladze, Mamuka +1 · 4 citations
Mathematics · #16E40 #18G60 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #K-Theory and Homology (math.KT) #Rings, Modules, and Algebras
- Linear extensions and nilpotence for Maltsev theories
2002/03/08 by Mamuka Jibladze, Teimuraz Pirashvili, Jibladze, Mamuka +1 · 1 citation
Computer Science · Mathematics · #18C10 #18G99 #Advanced Algebra and Logic #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #K-Theory and Homology (math.KT) #math.CT #math.KT #msc:18C10 #msc:18G99
- An explicit Kuznetsov-Muravitsky enrichment
2024/05/22 by Jibladze, Mamuka, Kuznetsov, Evgeny · 1 citation
#03G25 #05B20 #06D20 #FOS: Mathematics #Logic (math.LO)
- Weak Simplicial Bisimilarity for Polyhedral Models and SLCSeta -- Extended Version
2024/04/09 by Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David +4 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)