All public logs

Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 14:44, 7 August 2021 Wandynsky talk contribs created page 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...")
• 10:00, 6 August 2021 Wandynsky talk contribs created page Definition:Locally Noetherian Scheme (Stacks project Tag 01OV)
• 09:57, 6 August 2021 Wandynsky talk contribs created page Definition:Noetherian Scheme (Stacks project Tag 01OV)
• 07:55, 4 August 2021 Wandynsky talk contribs created page 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:21, 3 August 2021 Wandynsky talk contribs created page 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:00, 3 August 2021 Wandynsky talk contribs created page 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:56, 3 August 2021 Wandynsky talk contribs created page 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:53, 1 August 2021 Wandynsky talk contribs created page 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:50, 1 August 2021 Wandynsky talk contribs created page 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:20, 1 August 2021 Wandynsky talk contribs created page 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:00, 1 August 2021 Wandynsky talk contribs created page 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...")
• 19:24, 31 July 2021 Wandynsky talk contribs created page 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...")
• 18:55, 31 July 2021 Wandynsky talk contribs created page 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...")
• 15:33, 30 July 2021 Wandynsky talk contribs created page Unital Ring Homomorphism by Idempotent (Created page with "== Theorem == Let $A$ be a commutative ring with unity. Let $e \in A$ be an idempotent element....")
• 12:59, 30 July 2021 Wandynsky talk contribs created page Ring Homomorphism by Idempotent (Created page with "== Theorem == Let $A$ be a commutative ring. Let $e \mathop\in A$ be an idempotent element. Let $eA := \i...")
• 12:22, 30 July 2021 Wandynsky talk contribs created page Ring by Idempotent (Created page with "== Theorem == Let $\struct{A,+,\circ}$ be a commutative ring. Let $e$ be an idempotent element of $A$. T...")
• 10:51, 30 July 2021 Wandynsky talk contribs created page Quotient of Rationals by Integers is Injective (Created page with "== Theorem == Let $(\Q,+)$ be the abelian group of rational numbers. Let $(\Z,+)$ be the Definition:A...")
• 10:31, 30 July 2021 Wandynsky talk contribs created page Definition:Divisible Abelian Group (Created page with "== Definition == Let $A$ be an abelian group. We say, that $A$ is '''divisible''', if $A$ is a divisible $\Z$-[...")
• 10:24, 30 July 2021 Wandynsky talk contribs created page Quotient of Divisible Module is Divisible (Created page with "== Theorem == Let $R$ be a ring with unity. Let $M$ be a divisible left $R$-module....")
• 10:12, 30 July 2021 Wandynsky talk contribs created page Fields of Quotients is Divisible Module (Created page with "== Theorem == Let $A$ be an integral domain. Let $\map{\operatorname{Quot}}{A}$ be the field of quotients of...")
• 09:56, 30 July 2021 Wandynsky talk contribs created page Principal Ideal Domain is Integrally Closed (Created page with "== Theorem == Let $A$ be a principal ideal domain (PID). Then $A$ is integrally closed...")
• 09:36, 30 July 2021 Wandynsky talk contribs created page Principal Ideal Domain is Dedekind Domain (Created page with "== Theorem == Let $A$ be a principal ideal domain, which is not a field. Then $A$ is a Defini...")
• 09:19, 30 July 2021 Wandynsky talk contribs created page Injective Module over Principal Ideal Domain (Created page with "== Theorem == Let $A$ be a principal ideal domain. Let $M$ be an $A$-module. Then $M$ is Definition...")
• 09:15, 30 July 2021 Wandynsky talk contribs created page Injective Module over Dedekind Domain (Created page with "== Theorem == Let $A$ be a Dedekind domain. Let $M$ be an $A$-module. Then $M$ is Definition:Injective Mod...")
• 08:53, 30 July 2021 Wandynsky talk contribs created page Definition:Divisible Module (Created page with "== Definition == Let $R$ be a ring. Let $M$ be a left $R$-module. $M$ is '''divisible''', if for all $m \in M$ an...")
• 08:43, 30 July 2021 Wandynsky talk contribs created page Baer's Criterion (Created page with "== Theorem == Let $R$ be a ring. Let $M$ be a left $R$-module. Then $M$ is Definition:Injective Module|injectiv...")
• 08:19, 30 July 2021 Wandynsky talk contribs created page Definition:Epi-Mono Factorization (Created page with "== Definition == Let $\mathbf C$ be a category. Let $A$ and $B$ be objects in $\mathbf C$. Let $f : A \to B$...")
• 07:58, 30 July 2021 Wandynsky talk contribs created page Definition:Category of Quasi-Coherent Sheaves of Modules (Created page with "== Definition == Let $X$ be a topological space. Let $\OO_X$ be a sheaf of Definition:Commutati...")
• 07:43, 30 July 2021 Wandynsky talk contribs created page Definition:Acyclic Resolution (Created page with "== Definition == Let $\mathbf A$ be an abelian category with enough injectives. Let $\mathbf B$ be an arbitr...")
• 14:51, 29 July 2021 Wandynsky talk contribs created page Definition:Injective Resolution (Created page with "== Definition == Let $\AA$ be an abelian category. Let $X$ be an object in $\AA$. An '''injective...")
• 14:31, 29 July 2021 Wandynsky talk contribs created page Definition:Acyclic Sheaf (Created page with "== Definition == Let $X$ be a topological space. Let $\FF$ be an abelian sheaf on $X$. Let $\Gamma(X,-) : \map...")
• 14:17, 29 July 2021 Wandynsky talk contribs created page Definition:Acyclic Object (Created page with "== Definition == Let $\mathbf A$ be an abelian category with enough injectives. Let $\mathbf B$ be an Defi...")
• 13:10, 29 July 2021 Wandynsky talk contribs created page Definition:Kernel (Category Theory)/Uniqueness (Created page with "<onlyinclude> == On Uniqueness == Since the kernel is defined by a universal property it is only Definition:Unique up to Unique Isomorphis...")
• 12:03, 28 July 2021 Wandynsky talk contribs created page Composition with Zero Morphism is Zero Morphism (Created page with "== Theorem == Let $\mathbf C$ be a category. Let $0$ be a zero object in $\mathbf C$. Let $A, B, C, D$ be Definition:Ob...")
• 08:12, 28 July 2021 Wandynsky talk contribs created page Injective iff Projective in Dual Category (Created page with "== Theorem == Let $\mathbf A$ be an abelian category. Let $X$ be an object in $\mathbf A$. Then $X$...")
• 07:50, 28 July 2021 Wandynsky talk contribs created page Definition:Flasque Sheaf of Sets on Topological Space (Created page with "== Definition == Let $X$ be a topological space. Let $\FF : \map {\mathbf {Ouv} } X^{\mathrm {op} } \to \mathbf {Set}$ be a Definition:She...")
• 07:38, 28 July 2021 Wandynsky talk contribs created page Sheaf Associated to Injective Module over Noetherian Ring is Flasque (Created page with "== Theorem == Let $A$ be a noetherian commutative ring. Let $I$ be an Definition:Injective Module...")
• 07:20, 28 July 2021 Wandynsky talk contribs created page Definition:Right Derived Functor (Created page with "== Definition == Let $\mathbf A$ be an abelian category with enough injectives. Let $\mathbf B$ be another [...")
• 21:08, 27 July 2021 Wandynsky talk contribs created page Definition talk:Property of Morphisms Stable Under Pullback (Created page with "'stable' is the usual wording, see for example here [https://ncatlab.org/nlab/show/stability+under+pullback] --~~~~")
• 18:17, 27 July 2021 Wandynsky talk contribs created page Definition:Sheaf Cohomology (Created page with "== Definition == Let $X$ be a topological space. Let $\FF$ be an abelian sheaf on $X$. Let $\mathbf{Ab}(X)$ be...")
• 17:58, 27 July 2021 Wandynsky talk contribs created page Definition:Sheaf of Sets on Topological Space/Definition 2 (Created page with "== Definition == Let $T = \struct {S, \tau}$ be a topological space. Let $\FF : \mathbf{Ouv}(T)^{\mathrm{op}} \to \mathbf{Set}$ be a Defin...")
• 17:57, 27 July 2021 Wandynsky talk contribs created page Definition:Sheaf of Sets on Topological Space/Definition 1 (Created page with "== Definition 1 == Let $T = \struct {S, \tau}$ be a topological space. Let $\FF : \mathbf{Ouv}(T)^{\mathrm{op}} \to \mathbf{Set}$ be a Def...")
• 17:46, 27 July 2021 Wandynsky talk contribs created page Definition:Compatible Family of Sections on Topological Space (Created page with "== Definition == Let $T = \struct {S, \tau}$ be a topological space. Let $\FF : \mathbf{Ouv}(T)^{\mathrm{op}} \to \mathbf{Set}$ be a Defin...")
• 17:28, 27 July 2021 Wandynsky talk contribs created page Definition:Sheaf of Sets on Topological Space (Created page with "== Definition == Let $T = \struct {S, \tau}$ be a topological space. Let $\FF : \mathbf{Ouv}(T)^{\mathrm{op}} \to \mathbf{Set}$ be a Defin...")
• 17:08, 27 July 2021 Wandynsky talk contribs created page Definition:Canonical Mapping to Sections of Étalé Space (Created page with "== Definition == Let $T = \struct {S, \tau}$ be a topological space. Let $\mathcal F$ be a Definition:Presheaf of Sets on Topological Spac...")
• 16:53, 27 July 2021 Wandynsky talk contribs created page Definition:Sheaf of Sections (Created page with "== Definition == Let $f : Y \to X$ be a continuous map. Let $\FF : \map {\mathbf{Ouv}} {X}^{\mathrm{op}} \to \mathbf {Set}$ be the Defini...")
• 15:58, 27 July 2021 Wandynsky talk contribs created page Definition:Sheaf on Topological Space/Definition 4 (Created page with "== Definition == Let $T = \struct {S, \tau}$ be a topological space. Let $\mathbf C$ be a category. <onlyinclude> A...")
• 15:44, 27 July 2021 Wandynsky talk contribs created page Restriction of Ringed Space to Open Set is Ringed Space (Created page with "== Definition == Let $\struct {X, \OO_X}$ be a ringed space. Let $U \subset X$ be an open subset. Let $\struct...")
• 15:18, 27 July 2021 Wandynsky talk contribs created page Separated Morphism is Quasi-Separated (Created page with "== Theorem == Any separated morphism of schemes is quasi-separated. == Proof...")
• 15:14, 27 July 2021 Wandynsky talk contribs created page Definition:Quasi-Separated Morphism of Schemes (Created page with "== Definition == Let $\struct {X, \OO_X}$ and $\struct {Y, \OO_Y}$ be schemes. Let $f : \struct {X, \OO_X} \to \struct {Y, \OO_Y}$ be a Definition:Mo...")

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)