What is this symbol in the definition of the homotopy extension property?

158 Views Asked by At

enter image description here

What does the symbol inside the red circle represent? Is it just some sort of inclusion mapping?

1

There are 1 best solutions below

0
On BEST ANSWER

It's the subset inclusion map.