Suppose I have some arbitrary category C.(adsbygoogle = window.adsbygoogle || []).push({});

I would like to construct a cartesian category C' with C embedded in it. If at all possible, the embedding would be full, and C' would be universal amongst all such constructions.

What would be a good way to go about doing that? Can I even do that in general?

Once I've found C', I would like to construct a cartesian closed category C'', again with there being a full embedding of C into C'', and universal amongst all such constructions.

Once I have that, I what I really want is some topos E in which C is embedded, preferably fully. It would be nice, too, if E was universal amongst all such topoi, or at least being minimal amongst extensions.

Actually, the first category I want to do this with is already cartesian, and has a subobject classifier. (It would be cool if it was still the subobject classifier when extended to a topos) But I'm still curious about the more general case too!

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Constructing a category

Loading...

Similar Threads for Constructing category | Date |
---|---|

I Can we construct a Lie algebra from the squares of SU(1,1) | Feb 24, 2018 |

I Orthogonal matrix construction | Feb 13, 2018 |

I Constructing a reliable term-document matrix in LSA | Feb 3, 2017 |

I Tensor product and ultraproduct construction | Jul 22, 2016 |

Cool category construction: Q-trees! | Oct 7, 2005 |

**Physics Forums - The Fusion of Science and Community**