scientific article; zbMATH DE number 7692246

zbMath1516.18002arXiv2208.07350MaRDI QIDQ6161785

Jason Parker

Publication date: 5 June 2023

Full work available at URL: https://arxiv.org/abs/2208.07350

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relational structureCartesian closed categorylocally Cartesian closed categoryquasitoposexponentiabilitypartial productrelational Horn theory

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Accessible and locally presentable categories (18C35) Relational systems, laws of composition (08A02) Quantales (06F07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exponentiable functors between quantaloid-enriched categories
• Exponentiable morphisms, partial products and pullback complements
• Concrete categories and infinitary languages
• Cartesianness: topological spaces, uniform spaces, and affine schemes
• Metagories
• The rise and fall of \(V\)-functors
• Exponentiation in \({\mathcal V}\)-categories
• Monoidal Topology
• Quantitative Algebraic Reasoning
• Extensivity of categories of relational structures