1 citations · 1 across the 3 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 1 cited
Algebraic Reasoning over Relational Structures
Jan Jurka, Stefan Milius, Henning Urbat
Many important computational structures involve an intricate interplay between algebraic features (given by operations on the underlying set) and relational features (taking accoun…
math.CT2024
An enriched small object argument over a cofibrantly generated base
Jan Jurka
The small object argument is a method for transfinitely constructing weak factorization systems originally motivated by homotopy theory. We establish a variant of the small object…