Search results for "toposes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	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
77	Steven Awodey, Andrej Bauer	Sheaf toposes for realizability.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03G30, 03D65
53	Jonas Frey	Triposes, q-toposes and toposes.	Ann. Pure Appl. Log.	2015	DBLP DOI BibTeX RDF
52	Stephen Lack, Pawel Sobocinski 0001	Toposes Are Adhesive.	ICGT	2006	DBLP DOI BibTeX RDF
51	Lutz Schröder	The Logic of the Partial lambda-Calculus with Equality.	CSL	2004	DBLP DOI BibTeX RDF
26	Morgan Rogers	Toposes of Topological Monoid Actions.	Compositionality	2023	DBLP DOI BibTeX RDF
26	Simon Henry, Christopher Townsend	Compact Hausdorff Locales in Presheaf Toposes.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
26	Victor Iwaniack	Automata in toposes, and general Myhill-Nerode theorems.	CoRR	2023	DBLP DOI BibTeX RDF
26	Jason Parker	Covariant Isotropy of Grothendieck Toposes and Extensive Categories.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
26	Jetze Zoethout	Computability Models and Realizability Toposes.		2022	RDF
26	Jetze Zoethout	On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
26	Jens Hemelaer, Morgan Rogers	Monoid Properties as Invariants of Toposes of Monoid Actions.	Appl. Categorical Struct.	2021	DBLP DOI BibTeX RDF
26	Olivia Caramello, Riccardo Zanfa	On the dependent product in toposes.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
26	Alexandre Goy 0002, Daniela Petrisan, Marc Aiguier	Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.	ICALP	2021	DBLP DOI BibTeX RDF
26	Richard Garner	Ultrafilters, finite coproducts and locally connected classifying toposes.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
26	Edward Hermann Haeusler	Finiteness and Computation in Toposes.	DCM	2015	DBLP DOI BibTeX RDF
26	Samuele Maschio, Thomas Streicher	Models of intuitionistic set theory in subtoposes of nested realizability toposes.	Ann. Pure Appl. Log.	2015	DBLP DOI BibTeX RDF
26	Jonas Frey	Realizability Toposes from Specifications.	TLCA	2015	DBLP DOI BibTeX RDF
26	Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher	Relating first-order set theories, toposes and categories of classes.	Ann. Pure Appl. Log.	2014	DBLP DOI BibTeX RDF
26	Peter T. Johnstone	What do Freyd's Toposes Classify?	Logica Universalis	2013	DBLP DOI BibTeX RDF
26	Olivia Caramello	Atomic Toposes and Countable Categoricity.	Appl. Categorical Struct.	2012	DBLP DOI BibTeX RDF
26	Bas Spitters, Steven Vickers, Sander Wolters	Gelfand spectra in Grothendieck toposes using geometric mathematics.	QPL	2012	DBLP DOI BibTeX RDF
26	Alex K. Simpson, Thomas Streicher	Constructive toposes with countable sums as models of constructive set theory.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
26	Rory B. B. Lucyshyn-Wright	Totally distributive categories and injective toposes	CoRR	2011	DBLP BibTeX RDF
26	Steven Vickers	Locales and Toposes as Spaces.	Handbook of Spatial Logics	2007	DBLP DOI BibTeX RDF
26	Mark Weber	Yoneda Structures from 2-toposes.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A05, 18A15, 18B25, 18D05
26	Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher	Relating First-order Set Theories and Elementary Toposes.	Bull. Symb. Log.	2007	DBLP DOI BibTeX RDF
26	Luís A. Sbardellini, Marcelo E. Coniglio	Some Results on Ordered Structures in Toposes.	Reports Math. Log.	2006	DBLP BibTeX RDF
26	Thomas Streicher	Universes in Toposes.	From sets and types to topology and analysis	2005	DBLP BibTeX RDF
26	Steven Awodey, Lars Birkedal, Dana S. Scott	Local Realizability Toposes and a Modal Logic for Computability.	Math. Struct. Comput. Sci.	2002	DBLP DOI BibTeX RDF
26	Matías Menni	More exact completions that are toposes.	Ann. Pure Appl. Log.	2002	DBLP DOI BibTeX RDF
26	Ieke Moerdijk, Erik Palmgren	Type theories, toposes and constructive set theory: predicative aspects of AST.	Ann. Pure Appl. Log.	2002	DBLP DOI BibTeX RDF
26	Adam Obtulowicz	Triangular Logic of Partial Toposes.	J. Appl. Non Class. Logics	2000	DBLP DOI BibTeX RDF
26	Leo Esakia, Mamuka Jibladze, Dito Pataraia	Scattered Toposes.	Ann. Pure Appl. Log.	2000	DBLP DOI BibTeX RDF
26	Silvio Ghilardi, Marek W. Zawadowski	From Bisimulation Quantifiers to Classifying Toposes.	Advances in Modal Logic	2000	DBLP DOI BibTeX RDF
26	Steven Awodey, Lars Birkedal, Dana S. Scott	Local Realizability Toposes and a Modal Logic for Computability.	Realizability Semantics and Applications@FLoC	1999	DBLP DOI BibTeX RDF
26	James Worrell 0001	Toposes of Coalgebras and Hidden Algebras.	CMCS	1998	DBLP DOI BibTeX RDF
26	Jean-Pierre Marquis	Book Review: Colin McLarty. Elementary Categories, Elementary Toposes..	Notre Dame J. Formal Log.	1998	DBLP DOI BibTeX RDF
26	Carsten Butz, Peter T. Johnstone	Classifying Toposes for First-Order Theories.	Ann. Pure Appl. Log.	1998	DBLP DOI BibTeX RDF
26	Gonzalo E. Reyes, Houman Zolfaghari	Bi-Heyting algebras, toposes and modalities.	J. Philos. Log.	1996	DBLP DOI BibTeX RDF
26	John R. Longley	Realizability toposes and language semantics.		1995	RDF
26	J. M. E. Hyland, C.-H. Luke Ong	Modified Realizability Toposes and Strong Normalization Proofs.	TLCA	1993	DBLP DOI BibTeX RDF
26	Colin McLarty	Elementary categories, elementary toposes.		1992	RDF
26	Yasuo Kawahara	Pushout-Complements and Basic Concepts of Grammars in Toposes.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
26	Pierre-Louis Curien, Adam Obtulowicz	Partiality, Cartesian closedness and Toposes	Inf. Comput.	1989	DBLP DOI BibTeX RDF
26	Wendy MacCaull	On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
26	John L. Bell	Toposes and local set theories - an introduction.		1988	RDF
26	Colin McLarty	Elementary Axioms for Canonical Points of Toposes.	J. Symb. Log.	1987	DBLP DOI BibTeX RDF
26	Marek W. Zawadowski	The Skolem-Löwenheim theorem in toposes. II.	Stud Logica	1985	DBLP DOI BibTeX RDF
26	John L. Bell	Isomorphism of Structures in S-Toposes.	J. Symb. Log.	1981	DBLP DOI BibTeX RDF
25	Peter T. Johnstone	Fibrations and partial products in a 2-category.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	partial product, Fibration, 2-category