Posets form a poset enriched category

  • Thread starter icantadd
  • Start date
  • #1
114
0

Homework Statement


Prove that Poset can be viewed as a Poset-enriched category


Homework Equations


A category C is enriched in another category D if the hom-objects of C are objects in D. Alternatively, C is D enriched if for any two objects , A,B in C, hom(A,B) constitutes an object of D

A poset is a category with at most one map from an object D to another E.

The Attempt at a Solution


I think I am having trouble understanding what to prove here.

So we need to show that hom(A,B) is a poset. But since A and B are categories (with one arrow between any two objects), then hom(A,B) is the functor category. In otherwords we must show that there can be only one natural transformation between any two functors in hom(A,B).

Is it fair to say that a proof of the above is sufficient?
 

Answers and Replies

Related Threads on Posets form a poset enriched category

  • Last Post
Replies
0
Views
716
  • Last Post
Replies
0
Views
938
Replies
3
Views
1K
  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
4
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
2
Views
6K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
0
Views
1K
Replies
6
Views
1K
Top