Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255)

From MaRDI portal
Revision as of 12:49, 3 December 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 7837853
Language Label Description Also known as
English
Cartesian double theories: a double-categorical framework for categorical doctrines
scientific article; zbMATH DE number 7837853

    Statements

    title
    Cartesian double theories: a double-categorical framework for categorical doctrines (English)
    0 references
    author
    Michael Lambert
    0 references
    Evan Patterson
    0 references
    publication date
    24 April 2024
    0 references
    zbMATH Keywords
    categorical logic
    0 references
    double categories
    0 references
    doctrines
    0 references
    double theories
    0 references
    cites work
    Q3164468
    0 references
    Q3156490
    0 references
    Q5701018
    0 references
    Q4304740
    0 references
    Q5658221
    0 references
    Q3986541
    0 references
    Q4444126
    0 references
    Categories for Types
    0 references
    Q5200281
    0 references
    Q4419463
    0 references
    Q4663631
    0 references
    Q5431515
    0 references
    Q4933938
    0 references
    Q4652984
    0 references
    Q4145861
    0 references
    Q4783274
    0 references
    Q4100657
    0 references
    Q4100671
    0 references
    Icons
    0 references
    Q5048019
    0 references
    Q3368182
    0 references
    Q3156508
    0 references
    Q5549833
    0 references
    Q3159161
    0 references
    Q4215784
    0 references
    Q2884466
    0 references
    Q2847351
    0 references
    Q5411256
    0 references
    Q3961635
    0 references

    Identifiers

    zbMATH DE Number
    7837853
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6492255&oldid=38014501"
    Powered by MediaWiki