Jiřı́ Adámek
- A categorical view of varieties of ordered algebras
2020/11/27 by Jiřı́ Adámek, Matěj Dostál, Adámek, J. +3 · 1 citation
Computer Science · #18C15 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- 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
- Euclid: Relativistic effects in the dipole of the 2-point correlation function
2024/10/08 by Fabio Lepori, Sebastian Schulz, Lepori, F. +229 · 1 citation
Physics and Astronomy · #Astronomy and Astrophysical Research #Galaxies: Formation, Evolution, Phenomena #Gamma-ray bursts and supernovae
- 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