Results 1 to 3 of 3

Math Help - Coslice category

  1. #1
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,392
    Thanks
    759

    Coslice category

    i am wanting to know what a terminal (final) object in the coslice category

    (A\downarrow Set) might be (technically, where "A" is the functor:

    A:1\rightarrow Set and where the other functor of the comma category is

    id_{Set}

    alternatively, if it is easier to explain this as an intial object in the slice category:

    (Set \downarrow A), that's fine as well.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by Deveno View Post
    i am wanting to know what a terminal (final) object in the coslice category

    (A\downarrow Set) might be (technically, where "A" is the functor:

    A:1\rightarrow Set and where the other functor of the comma category is

    id_{Set}

    alternatively, if it is easier to explain this as an intial object in the slice category:

    (Set \downarrow A), that's fine as well.
    if we ignore the single object of 1, which i'll also denote it by 1, and look at the objects of your slice category as pairs (\alpha,g), where \alpha is a set and g: \alpha \longrightarrow A(1), then the initial object should be (\emptyset, f), where f is the empty function.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,392
    Thanks
    759
    so the initial object in the slice category is the unique map from the initial object of Set (ok, technically the initial object and the map, but i'm trying to "forget about objects")?

    if that is so, then the final object in the coslice category should be...(*,{*}) where {*} is a "generic" singleton set, and * is the only possible arrow (constant map), yes?

    what is motivating these questions is that i know that for a given function f:A-->Z, the projection p:A-->A/~f is initial in the coslice category (A ↓ Set),

    and i am wondering about the possible "dual statements".
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Category Theory
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: September 27th 2009, 10:41 PM
  2. example of a category
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: May 21st 2009, 01:48 AM
  3. Replies: 1
    Last Post: February 25th 2009, 11:49 AM
  4. Category
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: February 14th 2009, 12:50 PM
  5. category
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: March 7th 2008, 03:19 AM

Search Tags


/mathhelpforum @mathhelpforum