Math-Ct
$L$-fuzzy strongest postcondition predicate transformers as $L$-idempotent linear or affine operators between semimodules of monotonic predicates
Restriction categories as enriched categories
Priestley-type dualities for partially ordered structures
The enriched Vietoris monad on representable spaces
Database queries and constraints via lifting problems
Monoidal computer I: Basic computability by string diagrams
Tracing the Man in the Middle in Monoidal Categories
Pattern graph rewrite systems
A graphical approach to measurement-based quantum computing
Monoidal categories in, and linking, geometry and algebra
The structure and stability of persistence modules
A Linear Category of Polynomial Diagrams
Axiomatic Method and Category Theory
Exponential Kleisli monoids as Eilenberg-Moore algebras
