Search results for "topos"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
108	Xiao-Shen Li, Xue-Hai Yuan	The Category RSC of I-Rough Sets.	FSKD (1)	2008	DBLP DOI BibTeX RDF
89	Mícheál Mac an Airchinnigh	Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.	FME	2001	DBLP DOI BibTeX RDF	Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category
78	Alex K. Simpson	Computational Adequacy in an Elementary Topos.	CSL	1998	DBLP DOI BibTeX RDF
72	Jonas Eliasson	Ultrapowers as sheaves on a category of ultrafilters.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
60	Helmar Gust, Kai-Uwe Kühnberger, Peter Geibel	Learning Models of Predicate Logical Theories with Neural Networks Based on Topos Theory.	Perspectives of Neural-Symbolic Integration	2007	DBLP DOI BibTeX RDF
54	Zinovy Diskin	On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000).	TOOLS (37)	2000	DBLP DOI BibTeX RDF	business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations
54	Klaus-Dieter Schewe, Bernhard Thalheim	A Generalization of Dijkstra's Calculus to Typed Program Specifications.	FCT	1999	DBLP DOI BibTeX RDF
36	Michael Winter 0001	Complements in Distributive Allegories.	RelMiCS	2009	DBLP DOI BibTeX RDF
36	Helmar Gust, Kai-Uwe Kühnberger, Peter Geibel	Learning and Memorizing Models of Logical Theories in a Hybrid Learning Device.	ICONIP (2)	2007	DBLP DOI BibTeX RDF
36	C.-H. Luke Ong, Eike Ritter	A Generic Strong Normalization Argument: Application to the Calculus of Constructions.	CSL	1993	DBLP DOI BibTeX RDF
36	Wesley Phoa, Michael P. Fourman	A Proposed Categorial Semantics for Pure ML.	ICALP	1992	DBLP DOI BibTeX RDF
29	S. J. Ambler, Roy L. Crole, Alberto Momigliano	A definitional approach to primitivexs recursion over higher order abstract syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	Isabelle HOL, topos theory, ?-calculus, higher order abstract syntax, primitive recursion, initial algebras
29	Peter T. Johnstone	An "Unsitely" Result on Atomic Morphisms.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	atomic morphism, topos theory
29	George Janelidze, Dietmar Schumacher, Ross Street	Galois theory in variable categories.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Variable category, topos, indexed category, parametrized category, homomorphism of bicategories, effective descent, internal category, Galois group
24	Mattia Jacopo Villani, Peter McBurney	The Topos of Transformer Networks.	CoRR	2024	DBLP DOI BibTeX RDF
24	Satoshi Nakata	Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic.	CSL	2024	DBLP DOI BibTeX RDF
24	Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez	Morpho-logic from a topos perspective - application to symbolic AI.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
24	Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez	Morpho-logic from a Topos Perspective: Application to symbolic AI.	CoRR	2023	DBLP DOI BibTeX RDF
24	Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez	Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique.	JIAF	2023	DBLP BibTeX RDF
24	Steven Phillips	Universal Languages of Thought: LoT is a topos.	CogSci	2023	DBLP BibTeX RDF
24	Théo Gauthier, Sébastien Dan, Monir Hadji, Antonella Del Pozzo, Yackolley Amoussou-Guenou	Topos: A Secure, Trustless, and Decentralized Interoperability Protocol.	CoRR	2022	DBLP DOI BibTeX RDF
24	Takayuki Kihara	Rethinking the notion of oracle: A link between synthetic descriptive set theory and effective topos theory.	CoRR	2022	DBLP BibTeX RDF
24	Richard P. Gabriel, Jenny Quillien	Conferences & Остраннeние: Shortchanging Topos and Ourselves.	Onward!	2022	DBLP DOI BibTeX RDF
24	John Harding, Chris Heunen	Topos Quantum Theory with Short Posets.	Order	2021	DBLP DOI BibTeX RDF
24	Maria Emilia Maietti, Samuele Maschio	A Predicative variant of Hyland's Effective Topos.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
24	Jean-Claude Belfiore, Daniel Bennequin	Topos and Stacks of Deep Neural Networks.	CoRR	2021	DBLP BibTeX RDF
24	Shao-Jun Yang, Xinyi Huang 0001	Category of CFR(Y)C and Weak Topos.	FSDM	2021	DBLP DOI BibTeX RDF
24	Stefano Aguzzoli, Pietro Codara	Towards an Algebraic Topos Semantics for Three-valued Gödel Logic.	FUZZ-IEEE	2021	DBLP DOI BibTeX RDF
24	Jens Hemelaer	A Topological Groupoid Representing the Topos of Presheaves on a Monoid.	Appl. Categorical Struct.	2020	DBLP DOI BibTeX RDF
24	Boaz Haberman	Algebraic Theories and Commutativity in a Sheaf Topos.	Appl. Categorical Struct.	2020	DBLP DOI BibTeX RDF
24	Fernando Tohmé, Gianluca Caterina, Rocco Gangle	Computing Truth Values in the Topos of Infinite Peirce's α-Existential Graphs.	Appl. Math. Comput.	2020	DBLP DOI BibTeX RDF
24	Tom de Jong, Jaap van Oosten	The Sierpinski Object in the Scott Realizability Topos.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
24	Daniil Frumin, Benno van den Berg	A homotopy-theoretic model of function extensionality in the effective topos.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
24	Tom de Jong, Jaap van Oosten	The Sierpinski Object in the Scott Realizability Topos.	CoRR	2019	DBLP BibTeX RDF
24	Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette	Topos Semantics for a Higher-Order Temporal Logic of Actions.	ACT	2019	DBLP DOI BibTeX RDF
24	William Babonnaud	A Topos-Based Approach to Building Language Ontologies.	FG	2019	DBLP DOI BibTeX RDF
24	Sina Hazratpour	A logical study of some 2-categorical aspects of topos theory.		2019	RDF
24	Robert E. Kent	Conceptua: Institutions in a Topos.	CoRR	2018	DBLP BibTeX RDF
24	Ian Orton, Andrew M. Pitts	Axioms for Modelling Cubical Type Theory in a Topos.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
24	Katsuhiko Kuribayashi, Yasuhiude Numata	A topos associated with a colored category.	J. Comb. Theory, Ser. A	2018	DBLP DOI BibTeX RDF
24	Ian Orton, Andrew M. Pitts	Axioms for Modelling Cubical Type Theory in a Topos.	CoRR	2017	DBLP BibTeX RDF
24	Daniil Frumin, Benno van den Berg	A homotopy-theoretic model of function extensionality in the effective topos.	CoRR	2017	DBLP BibTeX RDF
24	Hector Freytes, Christian de Ronde, Graciela Domenech	Semilattices global valuations in the topos approach to quantum mechanics.	Soft Comput.	2017	DBLP DOI BibTeX RDF
24	Guerino Mazzola	The Topos of Music II: Performance - Theory, Software, and Case Studies, Second Edition		2017	DOI RDF
24	Guerino Mazzola	The Topos of Music I: Theory - Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm, Second Edition		2017	DOI RDF
24	Guerino Mazzola, René Guitart, Jocelyn Ho, Alex Lubet, Maria Mannone, Matt Rahaim, Florian Thalmann	The Topos of Music III: Gestures - Musical Multiverse Ontologies, Second Edition		2017	DOI RDF
24	Guerino Mazzola	The Topos of Music IV: Roots - Appendices, Second Edition		2017	DOI RDF
24	Jiali Feng	Entanglement of Inner Product, Topos Induced by Opposition and Transformation of Contradiction, and Tensor Flow.	IFIP TC12 ICIS	2017	DBLP DOI BibTeX RDF
24	Fabio Pasquali	Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness.	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
24	Olivia Caramello, Anna Carla Russo	Lattice-Ordered Abelian Groups and Perfect MV-Algebras: a Topos-Theoretic Perspective.	Bull. Symb. Log.	2016	DBLP DOI BibTeX RDF
24	Benjamin Eva	Modality and Contextuality in Topos Quantum Theory.	Stud Logica	2016	DBLP DOI BibTeX RDF
24	Cornelius Diekmann, Andreas Korsten, Georg Carle	Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations.	CoRR	2016	DBLP BibTeX RDF
24	Bas Spitters	Cubical sets and the topological topos.	CoRR	2016	DBLP BibTeX RDF
24	Ian Orton, Andrew M. Pitts	Axioms for Modelling Cubical Type Theory in a Topos.	CSL	2016	DBLP DOI BibTeX RDF
24	Jaap van Oosten	A notion of homotopy for the effective topos.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
24	Ranald Clouston, Rajeev Goré	Sequent Calculus in the Topos of Trees.	CoRR	2015	DBLP BibTeX RDF
24	Ranald Clouston, Rajeev Goré	Sequent Calculus in the Topos of Trees.	FoSSaCS	2015	DBLP DOI BibTeX RDF
24	Cornelius Diekmann, Andreas Korsten, Georg Carle	Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations.	CNSM	2015	DBLP DOI BibTeX RDF
24	Marek Z. Reformat, Tim Put	Constructing Topos from RDF Data.	WI-IAT (1)	2015	DBLP DOI BibTeX RDF
24	Nathanael Leedom Ackerman	On Transferring Model Theoretic Theorems of \({\mathcal{L}_{{\infty}, \omega}}\) in the Category of Sets to a Fixed Grothendieck Topos.	Logica Universalis	2014	DBLP DOI BibTeX RDF
24	Olivia Caramello	Fraïssé's Construction from a Topos-Theoretic Perspective.	Logica Universalis	2014	DBLP DOI BibTeX RDF
24	Luiz Naveda, Ivani Santana	"Topos" toolkit for Pure Data: exploring the spatial features of dance gestures for interactive musical applications.	ICMC	2014	DBLP BibTeX RDF
24	Alexis Bernadet, Stéphane Graham-Lengrand	A simple presentation of the effective topos.	CoRR	2013	DBLP BibTeX RDF
24	Sori Lee, Jaap van Oosten	Basic subtoposes of the effective topos.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
24	Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch	General Topos Semantics for Higher-Order Modal Logic.	TACL	2013	DBLP DOI BibTeX RDF
24	Andrej Bauer	On the failure of fixed-point theorems for chain-complete lattices in the effective topos.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
24	Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring	First steps in synthetic guarded domain theory: step-indexing in the topos of trees	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
24	John V. Corbett	A Topos Theory Foundation for Quantum Mechanics.	QPL	2011	DBLP DOI BibTeX RDF
24	Thomas M. Fiore, Thomas Noll 0002	Commuting Groups and the Topos of Triads.	MCM	2011	DBLP DOI BibTeX RDF
24	Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring	First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees.	LICS	2011	DBLP DOI BibTeX RDF
24	Tao Lu, Hong Lu	On the Factorization Theorem of a Monotone Morphism in a Topos.	NL-MUA	2011	DBLP DOI BibTeX RDF
24	Carl Pollard	Are (Linguists') Propositions (Topos) Propositions?	LACL	2011	DBLP DOI BibTeX RDF
24	Pablo González-Nalda, Blanca Cases	Topos 2: Spiking Neural Networks for Bipedal Walking in Humanoid Robots.	HAIS (2)	2011	DBLP DOI BibTeX RDF
24	Matías Menni	Läuchli's Completeness Theorem from a Topos-Theoretic Perspective.	Appl. Categorical Struct.	2010	DBLP DOI BibTeX RDF
24	Eduardo J. Dubuc	2-Filteredness and The Point of Every Galois Topos.	Appl. Categorical Struct.	2010	DBLP DOI BibTeX RDF
24	Jiali Feng	A Topos Induced by Qualitative Mapping.	GrC	2010	DBLP DOI BibTeX RDF
24	Andrej Bauer	On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos.	MFPS	2009	DBLP DOI BibTeX RDF
24	Andreas Döring 0004	Topos Quantum Logic and Mixed States.	QPL@MFPS	2009	DBLP DOI BibTeX RDF
24	Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler	A Topos-Theoretic Approach to Counterfactual Logic.	LSFA	2009	DBLP DOI BibTeX RDF
24	Elias Zafiris	A sheaf-theoretic topos model of the physical 'Continuum' and its cohomological observable dynamics.	Int. J. Gen. Syst.	2009	DBLP DOI BibTeX RDF
24	Fivos Papadimitriou	A nexus of Cyber-Geography and Cyber-Psychology: Topos/"Notopia" and identity in hacking.	Comput. Hum. Behav.	2009	DBLP DOI BibTeX RDF
24	Pablo González-Nalda, Blanca Cases	Topos: Spiking neural networks for temporal pattern recognition in complex real sounds.	Neurocomputing	2008	DBLP DOI BibTeX RDF
24	Fernando Náufel do Amaral, Edward Hermann Haeusler	Using the Internal Logic of a Topos to Model Search Spaces for Problems.	Log. J. IGPL	2007	DBLP DOI BibTeX RDF
24	Claire Kouwenhoven-Gentil, Jaap van Oosten	Algebraic set theory and the effective topos.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
24	Bernhard Banaschewski	Excluded Middle versus Choice in a topos.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
24	Konstantinos Viglas	Topos aspects of the extended Priestley duality.		2004	RDF
24	Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas	Fibring Logics with Topos Semantics.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
24	Susan B. Niefield	Implementing finite structures in Mathematica via a skeletal topos of finite sets.	J. Symb. Comput.	2003	DBLP DOI BibTeX RDF
24	Xue-Hai Yuan, Hongxing Li, E. Stanley Lee	Categories of fuzzy sets and weak topos.	Fuzzy Sets Syst.	2002	DBLP DOI BibTeX RDF
24	José Fernando Oliveira, Antonio Miguel Gomes, José Soeiro Ferreira	TOPOS - A new constructive algorithm for nesting problems.	OR Spectr.	2000	DBLP DOI BibTeX RDF
24	Stefano Kasangian, Sebastiano Vigna	The Topos of Labelled Trees: A Categorical Semantics for SCCS.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
24	Jaap van Oosten	Two Remarks on the Lifschitz Realizability Topos.	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
24	John L. Bell, Silvia Gebellato	Precovers, Modalities and Universal Closure Operators in a Topos.	Math. Log. Q.	1996	DBLP DOI BibTeX RDF
24	Reinhold Plösch, Hubert Rumerstorfer, Rainer Weinreich	TOPOS: A Prototyping-Oriented Open CASE System.	Requirements Engineering	1993	DBLP BibTeX RDF
24	Barbara Klunder	Topos Based Semantic for Constructive Logic with Strong Negation.	Math. Log. Q.	1992	DBLP DOI BibTeX RDF
24	Anne Preller	An Interpretation of Martin-LöF's Constructive Theory of Types in Elementary Topos Theory.	Math. Log. Q.	1992	DBLP DOI BibTeX RDF
24	Gonzalo E. Reyes	A Topos-Theoretic Approach to Reference and Modality.	Notre Dame J. Formal Log.	1991	DBLP DOI BibTeX RDF
24	Edmund Robinson, Giuseppe Rosolini	Colimit Completions and the Effective Topos.	J. Symb. Log.	1990	DBLP DOI BibTeX RDF
24	Hiroyuki Sato	E-CCC: Between CCC and Topos.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
24	Hiroyuki Sato	E-CCC: Between CCC and Topos, - its Expressive Power from the Viewpoint of Data Type Theory.	J. Symb. Comput.	1989	DBLP DOI BibTeX RDF