Reputation
613
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
4 12
Newest
 Yearling
Impact
~10k people reached

  • 0 posts edited
  • 0 helpful flags
  • 5 votes cast
3h
revised If ideal quotients of a ring are isomorphic, are these ideals isomorphic?
added 30 characters in body
Apr
30
revised Toposes in algebraic geometry
deleted 2 characters in body
Apr
22
asked Toposes in algebraic geometry
Mar
29
awarded  Yearling
Feb
2
accepted Are “formulas” in Axioms of ZFC indefinite?
Jan
29
revised Are “formulas” in Axioms of ZFC indefinite?
added 592 characters in body
Jan
29
asked Are “formulas” in Axioms of ZFC indefinite?
Jan
13
comment Introduction to homology of simplitial complex.
Is this same as Elements of Algebraic Topology?webmath2.unito.it/paginepersonali/sergio.console/Dispense/…
Jan
8
revised Introduction to homology of simplitial complex.
deleted 5 characters in body
Jan
8
asked Introduction to homology of simplitial complex.
Dec
14
accepted Singular homology of product
Dec
11
asked Singular homology of product
Nov
20
comment I want to prove that $\text{Sh}(C_{\mathbb{T}},J)$ is the classifing topos for the theory of $\mathbb{T}$-local algebras.
Thank you. I'll read it.
Nov
20
comment I want to prove that $\text{Sh}(C_{\mathbb{T}},J)$ is the classifing topos for the theory of $\mathbb{T}$-local algebras.
I don't know textbooks on this. Would you tell me one or two?
Nov
20
revised I want to prove that $\text{Sh}(C_{\mathbb{T}},J)$ is the classifing topos for the theory of $\mathbb{T}$-local algebras.
edited title
Nov
20
asked I want to prove that $\text{Sh}(C_{\mathbb{T}},J)$ is the classifing topos for the theory of $\mathbb{T}$-local algebras.
Nov
17
revised What is $\text{Hom}_{R\text{-Alg}}(R^{\overline{R}(B)},C)\rightarrow \overline{C}(B)$?
added 12 characters in body
Nov
17
comment What is $\text{Hom}_{R\text{-Alg}}(R^{\overline{R}(B)},C)\rightarrow \overline{C}(B)$?
Is this correct?
Nov
17
revised What is $\text{Hom}_{R\text{-Alg}}(R^{\overline{R}(B)},C)\rightarrow \overline{C}(B)$?
added 253 characters in body
Nov
17
comment What is $\text{Hom}_{R\text{-Alg}}(R^{\overline{R}(B)},C)\rightarrow \overline{C}(B)$?
I don't understand the sentence "To describe $\nu_{B,C}$ for all $B\in \text{FP}\mathbb{T}$, it suffices, by Theorem A.1, to describe $\nu_{F(n),C}$ for all $n\in \mathbb{T}$, ...". How is the theorem A.1. used here?