User Ben MacAdam

7 votes

1 answer

280 views

Inducing a model structure using a cosimplicial object

asked Nov 24, 2020 at 23:46

6 votes

1 answer

221 views

Groupoids as models of symmetric simplicial sets

asked Jul 28, 2020 at 23:04

6 votes

0 answers

297 views

Examples of connection preserving maps in differential geometry

asked May 21, 2020 at 15:40

5 votes

0 answers

72 views

Relative completeness of a relative cocompletion of a subcategory

asked Apr 3, 2020 at 22:15

5 votes

0 answers

92 views

2-categorical constructions preserving/inducing Yoneda structures

asked May 19, 2020 at 18:26

4 votes

1 answer

370 views

Weak enrichment and bicategories

asked Jun 17, 2019 at 22:59

3 votes

1 answer

253 views

The coEilenbeg-Moore category of an Eilenberg-Moore category

asked Sep 19, 2019 at 19:34

3 votes

0 answers

107 views

When will a monad satisfy Moggi’s “equalizer” property?

asked Mar 8, 2020 at 19:56

3 votes

0 answers

85 views

Couniversality of Lie integration in different categories of manifolds/smooth spaces

asked Oct 29, 2020 at 17:39

2 votes

1 answer

111 views

"Lie theory" for anchored bundles and reflexive graphs

asked Nov 13, 2020 at 2:06

2 votes

1 answer

145 views

Identifying Lie groupoids among smooth groupoids

asked Sep 8, 2020 at 22:45

2 votes

0 answers

124 views

Groupoids, cubical sets, and Segal conditions

asked Feb 23, 2021 at 18:36

2 votes

1 answer

117 views

Special cases of Lie II for groupoids using elementary techniques

asked Mar 1, 2021 at 18:29

2 votes

0 answers

36 views

When does a morphism of idempotents induce a bundle morphism over a fixed base?

asked Dec 10, 2019 at 21:29

2 votes

0 answers

79 views

Pseudomonoids versus monoidal pseudofunctors from $\Delta$

asked Dec 29, 2021 at 19:08

1 vote

0 answers

89 views

What is the other side of a category-indexed multicategory

asked May 12, 2017 at 0:52

1 vote

0 answers

52 views

Morphism of sketches inducing a (co)reflective subcategory

asked Jun 1, 2020 at 19:21

0 votes

0 answers

112 views

Factoring a natural transformation through a functor

asked Apr 20, 2021 at 22:37

Stack Exchange Network

18 Questions

Inducing a model structure using a cosimplicial object

Groupoids as models of symmetric simplicial sets

Examples of connection preserving maps in differential geometry

Relative completeness of a relative cocompletion of a subcategory

2-categorical constructions preserving/inducing Yoneda structures

Weak enrichment and bicategories

The coEilenbeg-Moore category of an Eilenberg-Moore category

When will a monad satisfy Moggi’s “equalizer” property?

Couniversality of Lie integration in different categories of manifolds/smooth spaces

"Lie theory" for anchored bundles and reflexive graphs

Identifying Lie groupoids among smooth groupoids

Groupoids, cubical sets, and Segal conditions

Special cases of Lie II for groupoids using elementary techniques

When does a morphism of idempotents induce a bundle morphism over a fixed base?

Pseudomonoids versus monoidal pseudofunctors from $\Delta$

What is the other side of a category-indexed multicategory

Morphism of sketches inducing a (co)reflective subcategory

Factoring a natural transformation through a functor