List questions from category-theory

Published on 28 Dec 2018 - 9:00

228

Views

Limits in a product category: proof verification

Published on 25 Mar 2026 - 6:39

443

Views

Riehl's "Category Theory in Context" - Exercise 3.4.i

Published on 30 Mar 2026 - 22:13

185

Views

Understanding 2-category theory

Published on 23 Mar 2026 - 5:40

345

Views

What is the fundamental category?

Published on 26 Mar 2026 - 20:51

199

Views

What allows me to move on from category of fields to subcategory of fields of fixed characteristic to have a initial object?

Published on 28 Dec 2018 - 17:26

118

Views

Notation in Category Theory, related to total categories, colimit$_{x\in C, z \in P(x)} x$

Published on 25 Mar 2026 - 4:58

608

Views

functor $\texttt{Nil}: Ring \longrightarrow Set$ is not representable

Published on 28 Dec 2018 - 19:46

378

Views

In what categories does the "classical" notion of function make sense?

Published on 28 Dec 2018 - 21:58

112

Views

Proving adjoint equivalence from natural isomorphic unit

Published on 30 Mar 2026 - 15:04

1.5k

Views

Left adjoint to the tensor functor

Published on 25 Mar 2026 - 6:25

490

Views

Co-filtered limits in algebraic categories.

Published on 31 Mar 2026 - 8:19

1.1k

Views

On the definition of the direct sum and tensor product.

Published on 29 Mar 2026 - 15:15

67

Views

What is gained by giving categories an identity arrow?

Published on 29 Dec 2018 - 21:22

270

Views

Conservative functor in a category of co-limit preserving functors between $R$ modules and vector spaces

Published on 25 Mar 2026 - 8:09

List Question

Lift uniqueness for connected colimits of the projection functor $\Pi : c/C \to C$

Limits in a product category: proof verification

Riehl's "Category Theory in Context" - Exercise 3.4.i

Understanding 2-category theory

What is the fundamental category?

What allows me to move on from category of fields to subcategory of fields of fixed characteristic to have a initial object?

Notation in Category Theory, related to total categories, colimit$_{x\in C, z \in P(x)} x$

functor $\texttt{Nil}: Ring \longrightarrow Set$ is not representable

In what categories does the "classical" notion of function make sense?

Proving adjoint equivalence from natural isomorphic unit

Left adjoint to the tensor functor

Co-filtered limits in algebraic categories.

On the definition of the direct sum and tensor product.

What is gained by giving categories an identity arrow?

Conservative functor in a category of co-limit preserving functors between $R$ modules and vector spaces

Trending Questions

Popular # Hahtags

Popular Questions