4 papers
The Gray Product of -Categories via Lax Grids
Shai Keidar, Leor Neuhauser
We introduce a new model for -categories as Segal sheaves on lax grids, which are pasting diagrams of lax cubes. This model allows for a direct construction of the Gray…
Rigid Algebras and Cospans
Leor Neuhauser
We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal -categories. We develop their general theory, showing in particular th…
Existentially closed models of fields with a distinguished submodule
Christian d'Elbée, Itay Kaplan, Leor Neuhauser
This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is e…
On algebraically closed fields with a distinguished subfield
Christian d'Elbée, Itay Kaplan, Leor Neuhauser
This paper is concerned with the model-theoretic study of pairs where is an algebraically closed field and is a distinguished subfield of allowing extra structu…