Works matching DE "TOPOI (Mathematics)"
Results: 88
The Visual Invention Practices of STEM Researchers: An Exploratory Topology.
- Published in:
- Science Communication, 2015, v. 37, n. 1, p. 118, doi. 10.1177/1075547014566990
- By:
- Publication type:
- Article
Representing Geometric Morphisms Using Power Locale Monads.
- Published in:
- Applied Categorical Structures, 2013, v. 21, n. 1, p. 15, doi. 10.1007/s10485-011-9258-z
- By:
- Publication type:
- Article
Atomic Toposes and Countable Categoricity.
- Published in:
- Applied Categorical Structures, 2012, v. 20, n. 4, p. 379, doi. 10.1007/s10485-010-9244-x
- By:
- Publication type:
- Article
The principal bundles over an inverse semigroup.
- Published in:
- Semigroup Forum, 2017, v. 94, n. 3, p. 674, doi. 10.1007/s00233-016-9836-3
- By:
- Publication type:
- Article
MORE ON GEOMETRIC MORPHISMS BETWEEN REALIZABILITY TOPOSES.
- Published in:
- Theory & Applications of Categories, 2014, v. 29, n. 30, p. 874
- By:
- Publication type:
- Article
EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA.
- Published in:
- Theory & Applications of Categories, 2014, v. 29, n. 17, p. 457
- By:
- Publication type:
- Article
GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES.
- Published in:
- Theory & Applications of Categories, 2013, v. 28, n. 9, p. 241
- By:
- Publication type:
- Article
ISOTROPY AND CROSSED TOPOSES.
- Published in:
- Theory & Applications of Categories, 2012, v. 26, n. 2, p. 660
- By:
- Publication type:
- Article
YONEDA REPRESENTATIONS OF FLAT FUNCTORS AND CLASSIFYING TOPOSES.
- Published in:
- Theory & Applications of Categories, 2012, v. 26, n. 2, p. 538
- By:
- Publication type:
- Article
SITE CHARACTERIZATIONS FOR GEOMETRIC INVARIANTS OF TOPOSES.
- Published in:
- Theory & Applications of Categories, 2012, v. 26, n. 2, p. 710
- By:
- Publication type:
- Article
SYNTACTIC CHARACTERIZATIONS OF PROPERTIES OF CLASSIFYING TOPOSES.
- Published in:
- Theory & Applications of Categories, 2012, v. 26, n. 2, p. 176
- By:
- Publication type:
- Article
TOPOS THEORETIC ASPECTS OF SEMIGROUP ACTIONS.
- Published in:
- Theory & Applications of Categories, 2010, v. 24, p. 117
- By:
- Publication type:
- Article
ALGEBRAIC CATEGORIES WHOSE PROJECTIVES ARE EXPLICITLY FREE.
- Published in:
- Theory & Applications of Categories, 2009, v. 22, n. 1, p. 509
- By:
- Publication type:
- Article
PROTOLOCALISATIONS OF EXACT MAL'CEV CATEGORIES.
- Published in:
- Theory & Applications of Categories, 2008, v. 21, p. 37
- By:
- Publication type:
- Article
QUASI LOCALLY CONNECTED TOPOSES.
- Published in:
- Theory & Applications of Categories, 2007, v. 18, n. 1, p. 209
- By:
- Publication type:
- Article
CCD LATTICES IN PRESHEAF CATEGORIES.
- Published in:
- Theory & Applications of Categories, 2007, v. 18, n. 1, p. 157
- By:
- Publication type:
- Article
Loon Lake : E. L. Doctorow's Pastoral Romance.
- Published in:
- 2012
- By:
- Publication type:
- Literary Criticism
On Quantum Event Structures. Part III: Object of Truth Values.
- Published in:
- Foundations of Physics Letters, 2004, v. 17, n. 5, p. 403, doi. 10.1023/B:FOPL.0000042696.35112.78
- By:
- Publication type:
- Article
THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1667, doi. 10.1017/jsl.2018.42
- By:
- Publication type:
- Article
A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 4, p. 1181, doi. 10.1017/jsl.2017.59
- By:
- Publication type:
- Article
Principal $$\infty $$ -bundles: general theory.
- Published in:
- Journal of Homotopy & Related Structures, 2015, v. 10, n. 4, p. 749, doi. 10.1007/s40062-014-0083-6
- By:
- Publication type:
- Article
WEIL DIFFEOLOGY I: CLASSICAL DIFFERENTIAL GEOMETRY.
- Published in:
- Mathematics for Application, 2017, v. 6, n. 2, p. 171, doi. 10.13164/ma.2017.12
- By:
- Publication type:
- Article
Pitts monads and a lax descent theorem.
- Published in:
- Tbilisi Mathematical Journal, 2015, v. 8, n. 1, p. -1, doi. 10.1515/tmj-2015-0001
- By:
- Publication type:
- Article
Matter and information as attributes of substance.
- Published in:
- European Physical Journal: Special Topics, 2017, v. 226, n. 2, p. 177, doi. 10.1140/epjst/e2016-60365-0
- By:
- Publication type:
- Article
When are enriched strong monads double exponential monads?
- Published in:
- Bulletin of the Belgian Mathematical Society - Simon Stevin, 2016, v. 23, n. 2, p. 311, doi. 10.36045/bbms/1464710120
- By:
- Publication type:
- Article
Calibrated Toposes.
- Published in:
- Bulletin of the Belgian Mathematical Society - Simon Stevin, 2012, v. 19, n. 5, p. 891, doi. 10.36045/bbms/1354031555
- By:
- Publication type:
- Article
Grothendieck quantaloids for allegories of enriched categories.
- Published in:
- Bulletin of the Belgian Mathematical Society - Simon Stevin, 2012, v. 19, n. 5, p. 861, doi. 10.36045/bbms/1354031554
- By:
- Publication type:
- Article
Construction of a Monadic Heyting Algebra in a Logos.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 218, n. 6, p. 788, doi. 10.1007/s10958-016-3065-x
- By:
- Publication type:
- Article
SPANS OF COSPANS.
- Published in:
- Theory & Applications of Categories, 2018, v. 33, n. 6-7, p. 131
- By:
- Publication type:
- Article
TANNAKA THEORY OVER SUP-LATTICES AND DESCENT FOR TOPOI.
- Published in:
- Theory & Applications of Categories, 2016, v. 31, n. 29-33, p. 852
- By:
- Publication type:
- Article
CLASSICAL AND RELATIVE REALIZABILITY.
- Published in:
- Theory & Applications of Categories, 2016, v. 31, n. 17-23, p. 571
- By:
- Publication type:
- Article
TRANSFINITE LIMITS IN TOPOS THEORY.
- Published in:
- Theory & Applications of Categories, 2016, v. 31, n. 7, p. 175
- By:
- Publication type:
- Article
Semilattices global valuations in the topos approach to quantum mechanics.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2017, v. 21, n. 6, p. 1373, doi. 10.1007/s00500-015-1780-8
- By:
- Publication type:
- Article
Ultrapowers as sheaves on a category of ultrafilters.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 7, p. 825, doi. 10.1007/s00153-004-0228-0
- By:
- Publication type:
- Article
A Grothendieck topos of generalized functions I: basic theory.
- Published in:
- Dissertationes Mathematicae, 2024, n. 592, p. 1, doi. 10.4064/dm230920-7-3
- By:
- Publication type:
- Article
IN DEFENCE OF THE SOVEREIGNTY OF PHILOSOPHY: AL-BAGHDĀDĪ'S CRITIQUE OF IBN AL-HAYTHAM'S GEOMETRISATION OF PLACEAn earlier concise version of this paper was presented on 18 February 2006 in Florence, under the title: ‘The physical or the mathematical? interrogating al-Baghdādī's critique of Ibn al-Haytham's geometrisation of place’, as part of the Colloque de la Société Internationale d'Histoire des Sciences et des Philosophies Arabes et Islamiques (Circulation des savoirs autour de la Méditerranée, IXe–XVIesiècles), which was held in association with the University of Florence. This text will be published as part of the Proceedings of the Colloquium (Les Actes du Colloque), under the editorship of Graziella Federici Vescovini (Florence).
- Published in:
- Arabic Sciences & Philosophy, 2007, v. 17, n. 1, p. 57, doi. 10.1017/S0957423907000367
- By:
- Publication type:
- Article
Topologies for intermediate logics.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 335, doi. 10.1002/malq.201200059
- By:
- Publication type:
- Article
On some peculiar aspects of the constructive theory of point-free spaces.
- Published in:
- Mathematical Logic Quarterly, 2010, v. 56, n. 4, p. 375, doi. 10.1002/malq.200910037
- By:
- Publication type:
- Article
Forcing under Anti-Foundation Axiom: An expression of the stalks.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 295, doi. 10.1002/malq.200410060
- By:
- Publication type:
- Article
Excluded Middle versus Choice in a topos.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 3, p. 282, doi. 10.1002/malq.200410029
- By:
- Publication type:
- Article
Precovers, Modalities and Universal Closure Operators in a Topos.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 289, doi. 10.1002/malq.19960420124
- By:
- Publication type:
- Article
AN INTERPRETATION OF MARTIN-LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY.
- Published in:
- Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 213, doi. 10.1002/malq.19920380118
- By:
- Publication type:
- Article
TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION.
- Published in:
- Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 509, doi. 10.1002/malq.19920380146
- By:
- Publication type:
- Article
A Comparison of Two Topos-Theoretic Approaches to Quantum Theory.
- Published in:
- Communications in Mathematical Physics, 2013, v. 317, n. 1, p. 3, doi. 10.1007/s00220-012-1652-3
- By:
- Publication type:
- Article
Paraconsistency in Categories: Case of Relevance Logic.
- Published in:
- Studia Logica, 2011, v. 98, n. 3, p. 429, doi. 10.1007/s11225-011-9342-2
- By:
- Publication type:
- Article
COALGEBRAIC APPROACH FOR PROGRAM BEHAVIOR IN COMONADS OVER TOPOSES.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2010, v. 55, n. 2, p. 15
- By:
- Publication type:
- Article
GR-Friendly Description of Quantum Systems.
- Published in:
- International Journal of Theoretical Physics, 2008, v. 47, n. 2, p. 492, doi. 10.1007/s10773-007-9474-3
- By:
- Publication type:
- Article
General Jacobi Identity Revisited Again.
- Published in:
- International Journal of Theoretical Physics, 2007, v. 46, n. 11, p. 2843, doi. 10.1007/s10773-007-9397-z
- By:
- Publication type:
- Article
Quantum Observables Algebras and Abstract Differential Geometry: The Topos-Theoretic Dynamics of Diagrams of Commutative Algebraic Localizations.
- Published in:
- International Journal of Theoretical Physics, 2007, v. 46, n. 2, p. 319, doi. 10.1007/s10773-006-9223-z
- By:
- Publication type:
- Article
A Topos Perspective on State-Vector Reduction.
- Published in:
- International Journal of Theoretical Physics, 2006, v. 45, n. 5, p. 994, doi. 10.1007/s10773-006-9110-7
- By:
- Publication type:
- Article