The following pages link to (Q4807625):
Displaying 28 items.
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- On the mereological structure of complex states of affairs (Q383031) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- A functional framework for agent-based models of exchange (Q426933) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Heyting mereology as a framework for spatial reasoning (Q482328) (← links)
- Structural universals as structural parts: toward a general theory of parthood and composition (Q656165) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- Renormalization: A number theoretical model (Q1006854) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Counting distinctions: on the conceptual foundations of Shannon's information theory (Q1036041) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Comparing material and structural set theories (Q1715477) (← links)
- Follow the math! : the mathematics of quantum mechanics as the mathematics of set partitions linearized to (Hilbert) vector spaces (Q2081054) (← links)
- An abstract cell model that describes the self-organization of cell function in living systems (Q2210070) (← links)
- Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes (Q2229273) (← links)
- Unifying exact completions (Q2254599) (← links)
- On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory (Q2263065) (← links)
- Duality as a category-theoretic concept (Q2406918) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
- A Categorical Approach to Mereology and Its Application to Modelling Software Components (Q3600304) (← links)
- Props in Network Theory (Q4585017) (← links)
- Four ways from universal to particular: how Chomsky’s principles-and-parameters model is not selectionist (Q4586162) (← links)
- THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES (Q4647119) (← links)
- (Q5004668) (← links)
