История изменений

Я руководствовался вот этим ответом здесь: https://math.stackexchange.com/a/475620

How many functions are there from a nonempty set S into ∅?

A function from a set A to a set B is a subset of A×B satisfying certain conditions, one of which is that its domain is A. If either A or B is empty, A×B=∅, and ∅ is therefore the only subset of A×B. If A≠∅, ∅ is not a function with domain A, so you’re quite right about (a): there are no such functions. If A=∅, though, it’s a different story. The domain of the function ∅ is {a:⟨a,b⟩∈∅}, which is … ?

Интересное уточнение. Как по мне, так похоже на правду, вроде бы мы можем поставить тривиальную стрелку в данном случае, но не могу сообразить до конца. Ушёл думать ( со мной тоже случается :) )..

Тут чуть проще. Поскольку функтор является маппингом из a -> b в A -> B, в нашем случае, это будет маппинг из множества функций с потенциально неограниченным количеством значений a x b в множество с ровно одним значением A x B, про которое ты и упомянул.

Я руководствовался вот этим ответом здесь: https://math.stackexchange.com/a/475620

How many functions are there from a nonempty set S into ∅?

A function from a set A to a set B is a subset of A×B satisfying certain conditions, one of which is that its domain is A. If either A or B is empty, A×B=∅, and ∅ is therefore the only subset of A×B. If A≠∅, ∅ is not a function with domain A, so you’re quite right about (a): there are no such functions. If A=∅, though, it’s a different story. The domain of the function ∅ is {a:⟨a,b⟩∈∅}, which is … ?

Интересное уточнение. Как по мне, так похоже на правду, вроде бы мы можем поставить тривиальную стрелку в данном случае, но не могу сообразить до конца. Ушёл думать ( со мной тоже случается :) )..

Тут чуть проще. Поскольку функтор является маппингом между a -> b и A -> B, в нашем случае, это будет маппинг из множества функций с потенциально неограниченным количеством значений a x b в множество с ровно одним значением A x B, про которое ты и упомянул.

Я руководствовался вот этим ответом здесь: https://math.stackexchange.com/a/475620

How many functions are there from a nonempty set S into ∅?

A function from a set A to a set B is a subset of A×B satisfying certain conditions, one of which is that its domain is A. If either A or B is empty, A×B=∅, and ∅ is therefore the only subset of A×B. If A≠∅, ∅ is not a function with domain A, so you’re quite right about (a): there are no such functions. If A=∅, though, it’s a different story. The domain of the function ∅ is {a:⟨a,b⟩∈∅}, which is … ?

Я руководствовался вот этим ответом здесь: https://math.stackexchange.com/a/475620

A function from a set A to a set B is a subset of A×B satisfying certain conditions, one of which is that its domain is A. If either A or B is empty, A×B=∅, and ∅ is therefore the only subset of A×B. If A≠∅, ∅ is not a function with domain A, so you’re quite right about (a): there are no such functions. If A=∅, though, it’s a different story. The domain of the function ∅ is {a:⟨a,b⟩∈∅}, which is … ?