The following pages link to (Q5676377):
Displaying 36 items.
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Modes of adjointness (Q484110) (← links)
- Functorial data migration (Q714735) (← links)
- Monoidal closed categories, weak topoi and generalized logics (Q810504) (← links)
- Fuzzy sets and sheaves. I: Basic concepts (Q881818) (← links)
- Petri nets are monoids (Q922720) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Fuzzy sets and toposes - towards higher order fuzzy logic (Q1097257) (← links)
- Polynomials and radical ideals (Q1126242) (← links)
- Sheaf models for set theory (Q1145695) (← links)
- Intuitionist type theory and the free topos (Q1148318) (← links)
- A globalization of the Hahn-Banach theorem (Q1177237) (← links)
- Toposes without points (Q1212528) (← links)
- Spreads and the symmetric topos. II (Q1295565) (← links)
- The locally connected coclosure of a Grothendieck topos (Q1295730) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Semilattices global valuations in the topos approach to quantum mechanics (Q1701676) (← links)
- An axiomatics for bicategories of modules (Q1820858) (← links)
- Categorical set theory: A characterization of the category of sets (Q1843432) (← links)
- The mathematical descriptions of truth and change (Q2151524) (← links)
- A categorical semantics for fuzzy predicate logic (Q2270237) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Physical properties as modal operators in the topos approach to quantum mechanics (Q2342695) (← links)
- A globalisation of the Gelfand duality theorem (Q2575765) (← links)
- Neighborhood-Sheaf Semantics for First-Order Modal Logic (Q2825413) (← links)
- Logic in Category Theory (Q2909761) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- Localization and Sheaf Reflectors (Q4075638) (← links)
- (Q4135737) (← links)
- (Q4141377) (← links)
- (Q4260332) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Topos Theory in Montréal in the 1970s: My Personal Involvement (Q5208240) (← links)
- Germ of a synthesis: space–time is spinorial, extra dimensions are time-like (Q5438849) (← links)
- Why Sets? (Q5452179) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
