User contributions for Wandynsky
Jump to navigation
Jump to search
30 November 2021
- 18:0818:08, 30 November 2021 diff hist +314 Binary Cartesian Product in Kuratowski Formalization contained in Power Set of Power Set of Union No edit summary Tag: Visual edit: Switched
7 August 2021
- 14:4414: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..."
6 August 2021
- 10:0010:00, 6 August 2021 diff hist +481 N Definition:Locally Noetherian Scheme Stacks project Tag 01OV
- 09:5709:57, 6 August 2021 diff hist +333 N Definition:Noetherian Scheme Stacks project Tag 01OV
- 09:5309:53, 6 August 2021 diff hist −524 User:Wandynsky No edit summary current
4 August 2021
- 08:0708:07, 4 August 2021 diff hist 0 Definition:Right Derived Functor No edit summary
- 08:0608:06, 4 August 2021 diff hist 0 Definition:Left Exact Functor No edit summary
- 08:0608:06, 4 August 2021 diff hist +149 Definition:Left Exact Functor No edit summary
- 07:5507: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..."
3 August 2021
- 16:2216:22, 3 August 2021 diff hist +32 Binary Cartesian Product in Kuratowski Formalization contained in Power Set of Power Set of Union No edit summary
- 16:2116: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:0816:08, 3 August 2021 diff hist −7 Empty Set is Element of Nonempty Grothendieck Universe No edit summary current
- 16:0816:08, 3 August 2021 diff hist +157 Empty Set is Element of Nonempty Grothendieck Universe No edit summary
- 16:0316:03, 3 August 2021 diff hist +12 Empty Set is Element of Nonempty Grothendieck Universe No edit summary
- 16:0316:03, 3 August 2021 diff hist +12 Nonempty Grothendieck Universe contains Von Neumann Natural Numbers No edit summary
- 16:0216:02, 3 August 2021 diff hist +113 Definition:Grothendieck Universe No edit summary
- 16:0016: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:5715:57, 3 August 2021 diff hist +25 Nonempty Grothendieck Universe contains Von Neumann Natural Numbers No edit summary
- 15:5615: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:4911:49, 3 August 2021 diff hist +538 Definition talk:Generated Ideal of Ring No edit summary current
1 August 2021
- 15:0015:00, 1 August 2021 diff hist +847 Composition of Identification Mappings is Identification Mapping No edit summary
- 11:5511:55, 1 August 2021 diff hist 0 Faithful Functor Reflects Monomorphisms No edit summary
- 11:5311: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:5810:58, 1 August 2021 diff hist +147 Definition:Grothendieck Universe No edit summary
- 10:5610:56, 1 August 2021 diff hist +9 User:Wandynsky No edit summary
- 10:5510:55, 1 August 2021 diff hist +9 Grothendieck Universe is Closed under Binary Union No edit summary
- 10:5010: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:4710:47, 1 August 2021 diff hist −97 User:Wandynsky No edit summary
- 10:4510:45, 1 August 2021 diff hist +628 Definition:Grothendieck Universe No edit summary
- 10:2110:21, 1 August 2021 diff hist +69 User:Wandynsky No edit summary
- 10:2010: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:0410:04, 1 August 2021 diff hist +236 User:Wandynsky No edit summary
- 10:0210:02, 1 August 2021 diff hist 0 Grothendieck Universe is Closed under Mappings No edit summary
- 10:0010: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:2709:27, 1 August 2021 diff hist +1 Definition:Grothendieck Universe No edit summary
- 09:2709:27, 1 August 2021 diff hist +117 Definition:Grothendieck Universe No edit summary
- 09:2209:22, 1 August 2021 diff hist +127 Grothendieck Universe is Closed under Subset No edit summary
31 July 2021
- 19:3719:37, 31 July 2021 diff hist +529 User:Wandynsky No edit summary
- 19:2419: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:1119:11, 31 July 2021 diff hist +380 User:Wandynsky No edit summary
- 18:5818:58, 31 July 2021 diff hist +178 User:Wandynsky No edit summary
- 18:5618:56, 31 July 2021 diff hist +25 Grothendieck Universe is Closed under Mappings No edit summary
- 18:5518: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:4713:47, 31 July 2021 diff hist +44 User:Wandynsky No edit summary
- 13:4613:46, 31 July 2021 diff hist +783 Definition talk:Generated Ideal of Ring No edit summary
- 01:3601:36, 31 July 2021 diff hist +137 Definition:Functional/Real No edit summary
- 01:3501:35, 31 July 2021 diff hist +334 Definition:Functional/Real No edit summary
- 01:3101:31, 31 July 2021 diff hist +161 Algebraic Numbers form Field No edit summary
- 00:3900:39, 31 July 2021 diff hist +312 Definition talk:Generated Ideal of Ring No edit summary
- 00:3200:32, 31 July 2021 diff hist +735 Definition talk:Ring Epimorphism →Ring Epimorphism versus Epimorphism in the Category of Rings: new section