函手圏の要素の明示