The following pages link to (Q4840146):
Displayed 16 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)
- The mathematical descriptions of truth and change (Q2151524) (← links)
- Algebra of gauge theories (Q2193725) (← 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)
- True V or Not True V, That Is the Question (Q3295821) (← links)
- Prospects for Triviality (Q5213757) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← 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)
- On ordinal sums of partially ordered monoids: a unified approach to ordinal sum constructions of t-norms, t-conorms and uninorms (Q6079424) (← links)
- (Q6109506) (← links)