包含関手の忠実と充満

https://img.hyuki.net/twitter-1196060061279211526-1.jpg