Pages that link to "Item:Q993499"

The following pages link to A 2-categorial generalization of the concept of institution (Q993499):

Displaying 5 items.

• Term charters (Q2185890) (← links)
• Abstract Beth definability in institutions (Q3410686) (← links)
• Implicit Partiality of Signature Morphisms in Institution Theory (Q5015966) (← links)
• A Universal Characterisation of Codescent Objects (Q5233740) (← links)
• Abstract categorical logic (Q6043096) (← links)