The following pages link to (Q4840146):
Displayed 9 items.
- Categorical formulation of finite-dimensional quantum algebras (Q543370) (← links)
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- Fibred amalgamation, descent data, and Van Kampen squares in topoi (Q2350322) (← links)
- Quasi-apartness and neighbourhood spaces (Q2498913) (← links)
- Completeness of †-categories and the complex numbers (Q2849726) (← links)
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
- THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE (Q5259725) (← links)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337) (← links)