User contributions for Wandynsky
Jump to navigation
Jump to search
- 18:08, 30 November 2021 diff hist +314 Binary Cartesian Product in Kuratowski Formalization contained in Power Set of Power Set of Union Tag: Visual edit: Switched
- 14:44, 7 August 2021 diff hist +608 N Definition:Relative Scheme Created page with "== Definition == Let $S$ be a scheme. A '''(relative) scheme''' over $S$ is a morphism of schemes $p : X \to S$ for..." current
- 10:00, 6 August 2021 diff hist +481 N Definition:Locally Noetherian Scheme Stacks project Tag 01OV
- 09:57, 6 August 2021 diff hist +333 N Definition:Noetherian Scheme Stacks project Tag 01OV
- 09:53, 6 August 2021 diff hist −524 User:Wandynsky current
- 08:07, 4 August 2021 diff hist 0 Definition:Right Derived Functor current
- 08:06, 4 August 2021 diff hist 0 Definition:Left Exact Functor
- 08:06, 4 August 2021 diff hist +149 Definition:Left Exact Functor
- 07:55, 4 August 2021 diff hist +366 N Definition:Left Exact Functor Created page with "== Definition == Let $\mathbf A$ and $\mathbf B$ be categories. Let $F : \mathbf A \to \mathbf B$ be a functor. Then $F$ is..."
- 16:22, 3 August 2021 diff hist +32 Binary Cartesian Product in Kuratowski Formalization contained in Power Set of Power Set of Union
- 16:21, 3 August 2021 diff hist +1,010 N Binary Cartesian Product in Kuratowski Formalization contained in Power Set of Power Set of Union Created page with "== Theorem == Let $S$ and $T$ be sets. Let $S \times T$ be the Definition:Ordered Pair/Kuratowski Formalization|binary cartesian product in Kuratowski F..."
- 16:08, 3 August 2021 diff hist −7 Empty Set is Element of Nonempty Grothendieck Universe current
- 16:08, 3 August 2021 diff hist +157 Empty Set is Element of Nonempty Grothendieck Universe
- 16:03, 3 August 2021 diff hist +12 Empty Set is Element of Nonempty Grothendieck Universe
- 16:03, 3 August 2021 diff hist +12 Nonempty Grothendieck Universe contains Von Neumann Natural Numbers
- 16:02, 3 August 2021 diff hist +113 Definition:Grothendieck Universe
- 16:00, 3 August 2021 diff hist +393 N Empty Set is Element of Nonempty Grothendieck Universe Created page with "== Theorem == Let $\mathbb U$ be a non-empty Grothendieck universe. Then $\emptyset \in \mathbb U$. == Proof..."
- 15:57, 3 August 2021 diff hist +25 Nonempty Grothendieck Universe contains Von Neumann Natural Numbers
- 15:56, 3 August 2021 diff hist +1,446 N Nonempty Grothendieck Universe contains Von Neumann Natural Numbers Created page with "== Theorem == Let $\mathbb U$ be a non-empty Grothendieck universe. Let $\mathbb N$ denote the Definition:Set..."
- 11:49, 3 August 2021 diff hist +538 Definition talk:Generated Ideal of Ring current
- 15:00, 1 August 2021 diff hist +847 Composition of Identification Mappings is Identification Mapping
- 11:55, 1 August 2021 diff hist 0 Faithful Functor Reflects Monomorphisms
- 11:53, 1 August 2021 diff hist +1,409 N Faithful Functor Reflects Monomorphisms Created page with "== Theorem == Let $\mathbf C$ and $\mathbf D$ be categories. Let $F : \mathbf C \to \mathbf D$ be a faithful functor...."
- 10:58, 1 August 2021 diff hist +147 Definition:Grothendieck Universe
- 10:56, 1 August 2021 diff hist +9 User:Wandynsky
- 10:55, 1 August 2021 diff hist +9 Grothendieck Universe is Closed under Binary Union
- 10:50, 1 August 2021 diff hist +259 N Definition:Quasi-Compact Scheme Created page with "== Definition == Let $\struct{X, \OO_X}$ be a scheme. Then $\struct{X, \OO_X}$ is '''quasi-compact''' {{iff}} $X$ is Definition:Compact Space|compa..."
- 10:47, 1 August 2021 diff hist −97 User:Wandynsky
- 10:45, 1 August 2021 diff hist +628 Definition:Grothendieck Universe
- 10:21, 1 August 2021 diff hist +69 User:Wandynsky
- 10:20, 1 August 2021 diff hist +1,019 N Grothendieck Universe is Closed under Binary Union Created page with "== Theorem == Let $\mathbb U$ be a Grothendieck universe. Let $u, v \in \mathbb U$. Then $u \cup v \in \mathbb U$. == Proof == If $..."
- 10:04, 1 August 2021 diff hist +236 User:Wandynsky
- 10:02, 1 August 2021 diff hist 0 Grothendieck Universe is Closed under Mappings
- 10:00, 1 August 2021 diff hist +1,365 N Grothendieck Universe is Closed under Binary Cartesian Product Created page with "== Theorem == Let $\mathbb U$ be a Grothendieck universe. Let $u, v \in \mathbb U$. Let $u \times v$ be the Definition:Finite Cartesi..."
- 09:27, 1 August 2021 diff hist +1 Definition:Grothendieck Universe
- 09:27, 1 August 2021 diff hist +117 Definition:Grothendieck Universe
- 09:22, 1 August 2021 diff hist +127 Grothendieck Universe is Closed under Subset
- 19:37, 31 July 2021 diff hist +529 User:Wandynsky
- 19:24, 31 July 2021 diff hist +831 N Grothendieck Universe is Closed under Subset Created page with "== Theorem == Let $\mathbb U$ be a Grothendieck universe. Let $u \mathop \in \mathbb U$. Let $v \subseteq u$ be a Definition:Subset|s..."
- 19:11, 31 July 2021 diff hist +380 User:Wandynsky
- 18:58, 31 July 2021 diff hist +178 User:Wandynsky
- 18:56, 31 July 2021 diff hist +25 Grothendieck Universe is Closed under Mappings
- 18:55, 31 July 2021 diff hist +1,133 N Grothendieck Universe is Closed under Mappings Created page with "== Theorem == Let $\mathbb U$ be a Grothendieck universe. Let $u, v \mathop \in \mathbb U$. Let $f : u \to v$ be a Definition:Mapping..."
- 13:47, 31 July 2021 diff hist +44 User:Wandynsky
- 13:46, 31 July 2021 diff hist +783 Definition talk:Generated Ideal of Ring
- 01:36, 31 July 2021 diff hist +137 Definition:Functional/Real
- 01:35, 31 July 2021 diff hist +334 Definition:Functional/Real
- 01:31, 31 July 2021 diff hist +161 Algebraic Numbers form Field
- 00:39, 31 July 2021 diff hist +312 Definition talk:Generated Ideal of Ring
- 00:32, 31 July 2021 diff hist +735 Definition talk:Ring Epimorphism →Ring Epimorphism versus Epimorphism in the Category of Rings: new section