Isomorphism is equality

By Thierry Coquand, Nils Anders Danielsson. 2013

40 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Michael Shulman
2. Benedikt Ahrens
3. Denis-Charles Cisinski

In Computational Theory and Mathematics

1. Michael Shulman
2. Benedikt Ahrens
3. Denis-Charles Cisinski

Citations in the corpus

• Heterogeneous substitution systems revisited (2016, neutral): “Our formalization provides one of the many steps involved, providing a monad structure on an initial algebra of a rank-2 endofunctor.”
• Univalent categories and the Rezk completion (2013, background): “(iv) For each a, b, c : A and f : homA(a, b) and g : homB(b, c), we have”