Lecturer: And a functor that is both full and faithful is called fully faithfulMe: Yeah okay, makes senseMe, a few months later: Hold on. That doesn't make any sense. What the heck
"Fully X" doesn't mean "full and also X". It means "completely X". What are you talking about, category theorists
Emil Socks' personal instance!