Question

Are lax kernel pairs stable under change of base?

score 66 · Answer 1 · 2013-07-24 03:38:15

66

Views

Are lax kernel pairs stable under change of base?

Published on 24 Jul 2013 - 3:38

score 806 · Answer 2 · 2026-03-26 02:45:55

806

Views

What is curvature, in terms of holonomy functors?

Published on 26 Mar 2026 - 2:45

score 334 · Answer 3 · 2026-03-27 20:49:28

334

Views

What kind of category is a cyclically ordered set?

Published on 27 Mar 2026 - 20:49

score 524 · Answer 4 · 2026-03-29 04:33:44

524

Views

What is a (-1)-morphism?

Published on 29 Mar 2026 - 4:33

score 1.1k · Answer 5 · 2013-08-13 14:17:24

1.1k

Views

What was the Lawveres explanation of adjoint functors in terms of Hegelian Philosophy?

Published on 13 Aug 2013 - 14:17

score 653 · Answer 6 · 2026-03-29 09:43:15

653

Views

Is it possible to formalize (higher) category theory as a one-sorted theory, just like we did with set theory?

Published on 29 Mar 2026 - 9:43

score 339 · Answer 7 · 2013-08-27 02:15:08

339

Views

What is an object classifier and how does give a natural numbers object?

Published on 27 Aug 2013 - 2:15

score 377 · Answer 8 · 2013-08-29 02:48:05

377

Views

Is it possible to formalize a "universe" of categories as a one-sorted first-order theory with one binary relation and no functions?

Published on 29 Aug 2013 - 2:48

score 190 · Answer 9 · 2026-03-29 15:26:56

190

Views

Is it true in a presentable infinity category that algebras are homotopy colimits of free algebras?

Published on 29 Mar 2026 - 15:26

score 99 · Answer 10 · 2026-03-29 01:04:16

99

Views

Is a $0$-category best viewed as a set, or a setoid?

Published on 29 Mar 2026 - 1:04

score 555 · Answer 11 · 2026-03-28 22:05:27

555

Views

From where comes the horizonal composition in a 2-category?

Published on 28 Mar 2026 - 22:05

score 247 · Answer 12 · 2026-03-28 20:53:07

247

Views

How to see a 2-group as a 2-category with only one object?

Published on 28 Mar 2026 - 20:53

score 183 · Answer 13 · 2013-10-25 22:34:07

183

Views

What does the following notation means in the context of 2-categories? $\bullet$

Published on 25 Oct 2013 - 22:34

score 145 · Answer 14 · 2026-03-28 03:14:26

145

Views

Reference request for 2-category theory

Published on 28 Mar 2026 - 3:14

score 139 · Answer 15 · 2013-11-24 19:29:43

139

Views

What is homotopy in $(\infty,1)$-categories (as weak Kan complexes)

Published on 24 Nov 2013 - 19:29

List Question

Are lax kernel pairs stable under change of base?

What is curvature, in terms of holonomy functors?

What kind of category is a cyclically ordered set?

What is a (-1)-morphism?

What was the Lawveres explanation of adjoint functors in terms of Hegelian Philosophy?

Is it possible to formalize (higher) category theory as a one-sorted theory, just like we did with set theory?

What is an object classifier and how does give a natural numbers object?

Is it possible to formalize a "universe" of categories as a one-sorted first-order theory with one binary relation and no functions?

Is it true in a presentable infinity category that algebras are homotopy colimits of free algebras?

Is a $0$-category best viewed as a set, or a setoid?

From where comes the horizonal composition in a 2-category?

How to see a 2-group as a 2-category with only one object?

What does the following notation means in the context of 2-categories? $\bullet$

Reference request for 2-category theory

What is homotopy in $(\infty,1)$-categories (as weak Kan complexes)

Trending Questions

Popular # Hahtags

Popular Questions