activity
20152021
most citedFirst-Order Logic with Isomorphism

6 citations · 13 across the 4 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

math.LO2017★ 1 cited

Finite Inverse Categories as Signatures

Dimitris Tsementzis, Matthew Weaver

We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories.

math.LO2017

A Higher Structure Identity Principle

Dimitris Tsementzis

We prove a Structure Identity Principle for theories defined on types of -level 3 by defining a general notion of saturation for a large class of structures definable in the Uni…