Works matching DE "TOPOI (Mathematics)"
Results: 88
"How I Want Thee, Humorous Hogart": The Motif of the Absent Artist in Swift, Fielding and Others.
- Published in:
- 2006
- By:
- Publication type:
- Essay
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
A racialização presente em telenovelas sob a perspectiva do topos.
- Published in:
- Revista de Estudos da Linguagem, 2011, v. 19, n. 2, p. 185, doi. 10.17851/2237-2083.19.2.185-214
- By:
- Publication type:
- Article
TOPOI AND THE PROBLEM OF INVENTION.
- Published in:
- Quarterly Journal of Speech, 1972, v. 58, n. 4, p. 387, doi. 10.1080/00335637209383137
- 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
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
The Outline of a Philosophical Reconstruction of the Culture.
- Published in:
- Petroleum - Gas University of Ploiesti Bulletin, Law & Social Sciences Series, 2010, v. 62, n. 1, p. 107
- 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
Univalence in locally cartesian closed ∞-categories.
- Published in:
- Forum Mathematicum, 2017, v. 29, n. 3, p. 617, doi. 10.1515/forum-2015-0228
- By:
- Publication type:
- Article
An Order-Theoretic Quantification of Contextuality.
- Published in:
- 2014
- By:
- Publication type:
- Essay
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
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
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
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
Historical Barriers to a Modern System of Topoi.
- Published in:
- Western Journal of Speech Communication: WJSC, 1979, v. 43, n. 1, p. 26, doi. 10.1080/10570317909373951
- 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
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
Mathematical Pluralism: The Case of Smooth Infinitesimal Analysis.
- Published in:
- Journal of Philosophical Logic, 2006, v. 35, n. 6, p. 621, doi. 10.1007/s10992-006-9028-9
- By:
- Publication type:
- Article
Sets in homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1172, doi. 10.1017/S0960129514000553
- By:
- Publication type:
- Article
A notion of homotopy for the effective topos.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1132, doi. 10.1017/S096012951400053X
- By:
- Publication type:
- Article
Corrigenda for Connected limits, familial representability and Artin glueing.
- Published in:
- Mathematical Structures in Computer Science, 2004, v. 14, n. 1, p. 185, doi. 10.1017/s0960129503004080
- 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
ÉCHOS DU RÉCIT VILLAGEOIS DANS SYLVIE: Scènes de retour au pays natal.
- Published in:
- Revue Nerval, 2019, n. 3, p. 49
- By:
- Publication type:
- Article
The Value of Topoi.
- Published in:
- Argumentation, 2006, v. 20, n. 1, p. 15, doi. 10.1007/s10503-005-1458-y
- By:
- Publication type:
- Article
SOME TOPOSES OVER WHICH ESSENTIAL IMPLIES LOCALLY CONNECTED.
- Published in:
- Cahiers de Topologie et Geometrie Differentielle Categoriques, 2022, v. 63, n. 4, p. 425
- By:
- Publication type:
- Article
REGULAR AND EFFECTIVE REGULAR CATEGORIES OF LOCALES.
- Published in:
- Cahiers de Topologie et Geometrie Differentielle Categoriques, 2021, v. 62, n. 3, p. 355
- 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
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
A novel semio-mathematical technique for excavating themes out of group dynamics.
- Published in:
- Semiotica, 2011, v. 2011, n. 187, p. 323, doi. 10.1515/semi.2011.080
- By:
- Publication type:
- Article
LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 2, p. 170, doi. 10.1017/bsl.2015.47
- 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
Left Determined Model Structures for Locally Presentable Categories.
- Published in:
- Applied Categorical Structures, 2011, v. 19, n. 6, p. 901, doi. 10.1007/s10485-009-9207-2
- By:
- Publication type:
- Article
A Representation Theorem for Geometric Morphisms.
- Published in:
- Applied Categorical Structures, 2010, v. 18, n. 6, p. 573, doi. 10.1007/s10485-009-9187-2
- By:
- Publication type:
- Article
Läuchli’s Completeness Theorem from a Topos-Theoretic Perspective.
- Published in:
- Applied Categorical Structures, 2010, v. 18, n. 2, p. 185, doi. 10.1007/s10485-008-9124-9
- By:
- Publication type:
- Article
2-Filteredness and The Point of Every Galois Topos.
- Published in:
- Applied Categorical Structures, 2010, v. 18, n. 2, p. 115, doi. 10.1007/s10485-008-9145-4
- By:
- Publication type:
- Article
Diads and their Application to Topoi.
- Published in:
- Applied Categorical Structures, 2009, v. 17, n. 6, p. 567, doi. 10.1007/s10485-008-9156-1
- By:
- Publication type:
- Article
Yoneda Structures from 2-toposes.
- Published in:
- Applied Categorical Structures, 2007, v. 15, n. 3, p. 259, doi. 10.1007/s10485-007-9079-2
- 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
GEOMETRIC MORPHISMS OF REALIZABILITY TOPOSES.
- Published in:
- Theory & Applications of Categories, 2013, v. 28, n. 9, p. 241
- 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
ISOTROPY AND CROSSED TOPOSES.
- Published in:
- Theory & Applications of Categories, 2012, v. 26, n. 2, p. 660
- By:
- Publication type:
- Article