Adamek, Jiri
- On reflective subcategories of locally presentable categories
2015/04/15 by J. Adámek, Adamek, Jiri, Jiřı́ Rosický +1 · 1 citation
Mathematics · Computer Science · #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Rings, Modules, and Algebras
- Profinite Monads, Profinite Equations, and Reiterman's Theorem
2015/11/06 by Chen, Liang-Ting, Adamek, Jiri, Milius, Stefan +1 · 1 citation
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL)
- Categories which are varieties of classical or ordered algebras
2024/02/22 by Jiřı́ Adámek, Adamek, Jiri · 1 citation
Computer Science · #18D99 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics
- Smallness in Topology
2023/01/31 by Jiřı́ Adámek, Adamek, Jiri, Miroslav Hus̆ek +5 · 1 citation
Mathematics · Computer Science · Decision Sciences · #Homotopy and Cohomology in Algebraic Topology #Advanced Algebra and Logic #Fuzzy and Soft Set Theory
- Reiterman's Theorem on Finite Algebras for a Monad
2021/01/04 by Adamek, Jiri, Chen, Liang-Ting, Milius, Stefan +1 · 1 citation
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL)
- Varieties of Languages in a Category
2015/01/21 by Jiřı́ Adámek, Adamek, Jiri, Stefan Milius +5 · 1 citation
Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory