as/is 연산자 관련 질문입니다.

강의를 해주실 때,

pet is Cat

pet as Cat 의 사용으로 설명해주셨는데 pet as Cat 은 캐스팅 형식으로써 이해가 가지만 혹시

pet is Cat 은 뭔가 상속 관계에서 Cat is pet이라고 물어보는게 맞는 것 같은데 단순히 pet이 현재 Cat 객체로 생성되었는지를 물어보는 개념인 것인가요?

또 한 가지는 강의를 해주시면서 개인적으로 두드리는 키보드 소리가 정말 좋은데 혹시 키보드 뭐 쓰시는지 모델명 좀 알려주실 수 있나요?ㅎㅎ