Skip to main content
deleted 1 character in body
Source Link
varkor
  • 10.7k
  • 29
  • 72

I might try to improve my answer later this day. For the moment, a sufficient condition was given by Pedicchio and BorceruxBorceux in A characterization of quasi-toposes, JoA 139 (1991).

Prop 4.1. If $C$ is an elementary topos, then $\mathsf{Lex}(C^\circ,\mathsf{Set})$ is locally cartesian closed.

I might try to improve my answer later this day. For the moment, a sufficient condition was given by Pedicchio and Borcerux in A characterization of quasi-toposes, JoA 139 (1991).

Prop 4.1. If $C$ is an elementary topos, then $\mathsf{Lex}(C^\circ,\mathsf{Set})$ is locally cartesian closed.

I might try to improve my answer later this day. For the moment, a sufficient condition was given by Pedicchio and Borceux in A characterization of quasi-toposes, JoA 139 (1991).

Prop 4.1. If $C$ is an elementary topos, then $\mathsf{Lex}(C^\circ,\mathsf{Set})$ is locally cartesian closed.

added 8 characters in body
Source Link
varkor
  • 10.7k
  • 29
  • 72

I might try to improve my answer later this day. For the moment, a sufficient condition was given by Pedicchio and Borcerux in A characterization of quasi-toposes, JoA 139 (1991).

Prop 4.1. If $C$ is an elementary topos, then $\mathsf{Lex}(C^\circ,\mathsf{Set})$ is locally cartesian closed.

I might try to improve my answer later this day. For the moment, a sufficient condition was given by Pedicchio and Borcerux in A characterization of quasi-toposes, JoA 139 (1991).

Prop 4.1. If $C$ is an elementary topos, then $\mathsf{Lex}(C^\circ,\mathsf{Set})$ is cartesian closed.

I might try to improve my answer later this day. For the moment, a sufficient condition was given by Pedicchio and Borcerux in A characterization of quasi-toposes, JoA 139 (1991).

Prop 4.1. If $C$ is an elementary topos, then $\mathsf{Lex}(C^\circ,\mathsf{Set})$ is locally cartesian closed.

Source Link
Ivan Di Liberti
  • 9.1k
  • 1
  • 27
  • 66

I might try to improve my answer later this day. For the moment, a sufficient condition was given by Pedicchio and Borcerux in A characterization of quasi-toposes, JoA 139 (1991).

Prop 4.1. If $C$ is an elementary topos, then $\mathsf{Lex}(C^\circ,\mathsf{Set})$ is cartesian closed.