Stream: Beginner Questions

Topic: how to take the union of the morphism sets of two categories

view this post on Zulip ee (Feb 06 2024 at 14:56):

I'm trying to create a new category by taking the union of C and C^op, so that every morphism has an inverse. I'm not sure if I should be using MakeCat, or somehow just access the morphism sets of both categories and take their unions and sets and inject that back into a category, or something else.
TIA

view this post on Zulip Kevin Kappelmann (Feb 06 2024 at 20:07):

There are multiple category theory libraries. You need to provide more context/a minimum setup.

Last updated: Apr 27 2024 at 16:16 UTC