Math-Ct
Codensity and the ultrafilter monad
Database Semantics
Adjunctions for exceptions
Data types with symmetries and polynomial functors over groupoids
Dwyer-Kan homotopy theory of enriched categories
Uniformly Flat Semimodules
Modeling Stable One-Types
Metric-enriched categories and approximate Fra"{i}ss{e} limits
Strongly Complete Logics for Coalgebras
Relating Operator Spaces via Adjunctions
Cyclic Homology of Fukaya Categories and the Linearized Contact Homology
Remarks on exactness notions pertaining to pushouts
$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
