Ragebait ideas for your math friends: tell them that their research area is just a special case of your much cooler research
Category theorist speedrun social pariah status strategy.
Category theory is just a special case in my much cooler area of research, mathematical logic, in which we analyze the notion of a mathematical "theory" in abstract. Category theory is just a manner in which words and symbols are used to encode meaning, convey information, and draw inferences.
Mathematical logic is just a special case of category theory where we focus on functors of fibrations Th(L, T) -> E | | Syn(L) -> B
where Syn(L) is the syntactic category constructed from some signature L, and Th(L, T) is the category of formulae constructed starting from a set T of formulae over L called "axioms". In the special case that E -> B is the subobject fibration on Set then such things have traditionally been called "models"
I really gotta read sheaves in geometry and logic.
It is an excellent book for sure, but to do logic via fibrations you must read Jacob's Categorical Logic and Type Theory.
Bart Jacob's Categorical Logic and Type Theory.



















