Jiřı́ Rosický
- Cellular categories and stable independence
2019/04/11 by M. A. Lieberman, Jiřı́ Rosický, Lieberman, Michael +3 · 3 citations
Computer Science · Mathematics · #03C45 #03C48 #03C52 #03C55 #16B50 #16B60 #18C35 (Primary) #55U35 (Secondary) #Advanced Topology and Set Theory #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Rings and Algebras (math.RA) #Topological and Geometric Data Analysis
- Small presentations of model categories and Vopěnka's principle
2017/03/23 by George Raptis, Jiřı́ Rosický, Raptis, G. +1 · 1 citation
Mathematics · Medicine · #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
- Hilbert spaces and C^∗-algebras are not finitely concrete
2019/08/27 by Michael Lieberman, Lieberman, Michael, Jiřı́ Rosický +3 · 1 citation
Computer Science · Mathematics · #18C35 (Primary) #46L05 #46M99 (Secondary) #Advanced Algebra and Logic #Advanced Operator Algebra Research #Advanced Topology and Set Theory #Category Theory (math.CT) #FOS: Mathematics #Functional Analysis (math.FA) #Logic (math.LO) #Operator Algebras (math.OA)
- On reflective subcategories of locally presentable categories
2015/04/15 by J. Adámek, Jiřı́ Rosický, Adamek, Jiri +1 · 1 citation
Mathematics · Computer Science · #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Rings, Modules, and Algebras
- Enriched concepts of regular logic
2024/06/18 by Jiřı́ Rosický, Rosický, Jiří, Tendas, Giacomo · 3 citations
Computer Science · #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