Lax presheaves and exponentiability

zbMATH Open1241.18006MaRDI QIDQ5200280FDOQ5200280

Authors: Susan Niefield 

Publication date: 1 August 2011

Full work available at URL: http://www.emis.de/journals/TAC/volumes/24/12/24-12abs.html

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Exponentiability via double categories
• scientific article; zbMATH DE number 1985405
• scientific article; zbMATH DE number 7692246
• Lax monads. Indexed monoidal monads
• Exponentiability in lax slices of \({\mathcal T}op\)

zbMATH Keywords

toposcoreflective subcategoryrelationspanexponentiabilitypartial mapscartesian closed

Mathematics Subject Classification ID

Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited In (6)

• A presheaf semantics for quantified temporal logics
• Title not available (Why is that?)
• Lax pullback complements and pullbacks of spans
• Exponentiability in lax slices of \({\mathcal T}op\)
• Exponentiability in double categories and the glueing construction
• Exponentiability via double categories

This page was built for publication: Lax presheaves and exponentiability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200280)