4
votes
2answers
237 views

Is there a name for relations with this property, and the category of them?

The following math.stackexchange question asked whether there is a name for a certain sort of relation. I have become interested in the question, and no one suggested a name there, so I am asking ...
5
votes
3answers
557 views

What do I call type theory without Curry-Howard?

Is there a word I can say which will convey to type theorists that I am not thinking about types as propositions? Background: as a category theorist, I am mostly interested in type theories as a ...