Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory object of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorHarry Gindi
   • CommentTimeJun 24th 2010
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItexOver at [[orthogonal subcategory problem]], it's not clear to me whether or not the "objects orthogonal to $\Sigma$" should be morphisms orthogonal to $\Sigma$, or if it should mean objects of $X$ of $C$ such that $X\to *$ is orthogonal to $\Sigma$ (where $*$ denotes the terminal object). (Hell, it could even mean objects that are the source of a map orthogonal to $\Sigma$). I was in the process of changing stuff to fit the first interpretation, but I rolled it back and decided to ask here. If it should in fact be the second (or third) definition, I would definitely suggest changing the notation $\Sigma^\perp$, which is extremely misleading, since that is the standard notation for the first notion.

   Over at orthogonal subcategory problem, it’s not clear to me whether or not the “objects orthogonal to $\Sigma$” should be morphisms orthogonal to $\Sigma$, or if it should mean objects of $X$ of $C$ such that $X\to *$ is orthogonal to $\Sigma$ (where $*$ denotes the terminal object). (Hell, it could even mean objects that are the source of a map orthogonal to $\Sigma$). I was in the process of changing stuff to fit the first interpretation, but I rolled it back and decided to ask here.

   If it should in fact be the second (or third) definition, I would definitely suggest changing the notation $\Sigma^\perp$, which is extremely misleading, since that is the standard notation for the first notion.

2. • CommentRowNumber2.
   • CommentAuthorTodd_Trimble
   • CommentTimeJun 24th 2010
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexIt means objects $X$ such that $X \to 1$ is orthogonal to $\Sigma$. Sorry if that was confusing to you, but I was under the impression that this is fairly standard, even if it hasn't been standardized within the nLab. (It's also deducible from the proof given on that page.) For example, one may define a $j$-sheaf w.r.t. a topology $j$ to be a presheaf which is orthogonal to the class of $j$-dense inclusions of presheaves. For those who know what I meant by "object orthogonal to $\Sigma$", I don't think the usage $\Sigma^\perp$ would be "extremely misleading", particularly since the intended usage is spelled out *right on that page* (and that's true even if the notation $\Sigma^\perp$ is elsewhere used to denote a class of morphisms). I think also that the notation is standardly used for both notions (not at the same time of course!). Am I wrong about that? I think one can simply make a note of "object orthogonal to $\Sigma$" at the article [[orthogonality]], and note that this usually means $f \perp (X \to 1)$ for all morphisms $f$ in $\Sigma$ (as opposed to $(0 \to X) \perp f$).

   It means objects $X$ such that $X \to 1$ is orthogonal to $\Sigma$. Sorry if that was confusing to you, but I was under the impression that this is fairly standard, even if it hasn’t been standardized within the nLab. (It’s also deducible from the proof given on that page.) For example, one may define a $j$-sheaf w.r.t. a topology $j$ to be a presheaf which is orthogonal to the class of $j$-dense inclusions of presheaves.

   For those who know what I meant by “object orthogonal to $\Sigma$”, I don’t think the usage $\Sigma^\perp$ would be “extremely misleading”, particularly since the intended usage is spelled out right on that page (and that’s true even if the notation $\Sigma^\perp$ is elsewhere used to denote a class of morphisms). I think also that the notation is standardly used for both notions (not at the same time of course!). Am I wrong about that?

   I think one can simply make a note of “object orthogonal to $\Sigma$” at the article orthogonality, and note that this usually means $f \perp (X \to 1)$ for all morphisms $f$ in $\Sigma$ (as opposed to $(0 \to X) \perp f$).

3. • CommentRowNumber3.
   • CommentAuthorHarry Gindi
   • CommentTimeJun 24th 2010
   • (edited Jun 24th 2010)
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItexSorry! I was going to actually edit the page [[orthogonality]] based on the answer to this question! =) I also noticed that the definition is essentially given in the proof after I posted this topic. As far as I've seen, in the 4-5 books I've seen the notion of orthogonality mentioned, $\Sigma^\perp$ always means "the class of morphisms orthogonal to $\Sigma$". I'll take your word for it, since you know a lot more about the subject than I do.

   Sorry! I was going to actually edit the page orthogonality based on the answer to this question! =)

   I also noticed that the definition is essentially given in the proof after I posted this topic.

   As far as I’ve seen, in the 4-5 books I’ve seen the notion of orthogonality mentioned, $\Sigma^\perp$ always means “the class of morphisms orthogonal to $\Sigma$”. I’ll take your word for it, since you know a lot more about the subject than I do.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeJun 24th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexYeah, unfortunately the same notation is used "standardly" to mean two different things in different contexts.

   Yeah, unfortunately the same notation is used “standardly” to mean two different things in different contexts.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeJun 24th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexI edited [[orthogonal subcategory problem]]: added subsections and hyperlinks. Also linked to it from [[orthogonality]], where it might have been a subsection otherwise.

   I edited orthogonal subcategory problem:

   added subsections and hyperlinks. Also linked to it from orthogonality, where it might have been a subsection otherwise.