Subobject classifier - PDFSEARCH.IO - Document Search Engine

Subobject classifier
Results: 5

#	Item
1	arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida† Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:05 Sheaf theory Heyting algebra Lattice theory Mathematical constructivism Order theory Topos Adjoint functors Sheaf Subobject classifier Category theory Abstract algebra Mathematics
2	Theory and Applications of Categories, Vol. 29, No. 20, 2014, pp. 542–568. CONTINUOUS COHESION OVER SETS M. MENNI Abstract. A pre-cohesive geometric morphism p : E → S satisfies Continuity if the ∗ Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-09-17 10:07:00 Mathematics Topos theory Topos Functors Sheaf Grothendieck topology Reflective subcategory Subobject classifier Initial and terminal objects Category theory Abstract algebra Sheaf theory
3	LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Sheaf theory Topos theory Homological algebra Order theory Topos Sheaf Subobject classifier Categorical logic Adjoint functors Category theory Mathematics Abstract algebra
4	arXiv:0711.1529v3 [math.LO] 22 Oct[removed]LAWVERE-TIERNEY SHEAVES Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2008-10-22 23:17:04 Sheaf theory Topos theory Homological algebra Topos Order theory Sheaf Subobject classifier Adjoint functors Categorical logic Category theory Mathematics Abstract algebra
5	Synthetic Differential Geometry An application to Einstein’s Equivalence Principle Tim de Laat Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-09-02 03:57:26 Calculus Non-standard analysis Infinity Sheaf theory Topos Differential Infinitesimal Smooth infinitesimal analysis Subobject classifier Mathematics Mathematical analysis Category theory

UPDATE