works on
block-content canonization 1finite fields 1gallai-witt theorem 1hales-jewett theorem 1ramsey theory 1

From the 1 of 11 linked papers with an AI index.

activity
20242026
collaborators
Showing math.CTShow all

1 paper · 1 filter

math.CT2025

Representing the language of a topos as quotient of the category of spans

M. Golshani, A. Shiralinasab Langari

We use quotients of span categories to introduce the language of a topos. We also study the logical relations and the quotients of span categories derived from them. As an applicat…