jaj•a•person's notes
Search
Search
Dark mode
Light mode
Explorer
Tag: m/thm/cat
See
Category theory MOC.
11 items with this tag.
(Co)limit construction theorems
public
m/thm/cat
missing/proof
state/develop
lang/en
sembr
Categories are equivalent iff they have isomorphic skeleta
public
m/thm/cat
state/tidy
lang/en
sembr
Fibre product is the equalizer of a product
public
m/thm/cat
state/tidy
lang/en
sembr
Finite (co)completeness criterion
public
m/thm/cat
missing/proof
state/develop
lang/en
sembr
Free module
public
m/def/module
m/thm/cat
state/tidy
lang/en
sembr
Functors encode invariants of isomorphism classes
public
m/thm/cat
state/tidy
lang/en
sembr
Identity as a natural transformation
public
m/thm/cat
state/tidy
lang/en
sembr
Pushforward and pullback of an isomorphism
public
m/thm/cat
state/tidy
lang/en
sembr
Right adjoint functors are continuous
public
m/thm/cat
missing/proof
state/develop
lang/en
sembr
Schur's lemma
public
m/thm/module
m/thm/rep
m/thm/cat
state/tidy
lang/en
sembr
Skeletal categories are equivalent iff they are isomorphic
public
m/thm/cat
state/tidy
lang/en
sembr