Showing 2026Show all
2 papers · 1 filter
math.CT2026
Quantification in Double-Categorical Database Schemas
Michael Lambert
Double-categorical database schemas are enriched with universal quantification in the form of right adjoints to substitution. This allows phrasing of the important query, relationa…
math.CT2026
Twisted double functors and loosely discrete opfibrations
Michael Lambert, David Jaz Myers, Evan Patterson
Various situations in the theory and applications of double categories, ranging from a loose Yoneda theory and loose compact closure to double-operadic systems theory, require a no…