Worytkiewicz, Krzysztof
- A folk model structure on omega-cat
2007/12/04 by Yves Lafont, Lafont, Yves, François Métayer +4 · 1 citation
Mathematics · #18D05 #18G55 #Advanced Topology and Set Theory #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT #msc:18D05 #msc:18G55
- Synchronization from a Categorical Perspective
2004/11/01 by Krzysztof Worytkiewicz, Worytkiewicz, Krzysztof · 1 citation
Computer Science · #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.DM #cs.PL #semigroups and automata theory
- Implicative Assemblies
2023/04/20 by Félix Castro, Castro, Félix, Alexandre Miquel +3 · 1 citation
Computer Science · Decision Sciences · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Fuzzy and Soft Set Theory