Pages that link to "Item:Q993499"
From MaRDI portal
The following pages link to A 2-categorial generalization of the concept of institution (Q993499):
Displaying 8 items.
- Monadic extensions of institutions (Q622025) (← links)
- Institution morphisms (Q699929) (← links)
- Term charters (Q2185890) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- Implicit Partiality of Signature Morphisms in Institution Theory (Q5015966) (← links)
- Towards a uniform presentation of logical systems by indexed categories and adjoint situations (Q5176546) (← links)
- A Universal Characterisation of Codescent Objects (Q5233740) (← links)
- Abstract categorical logic (Q6043096) (← links)