User Mathemologist

20 votes

0 answers

348 views

Homotopic version of Freyd's AT category observations

asked Nov 11, 2016 at 18:10

7 votes

0 answers

86 views

Can cyclic and simplicial objects be related in a similar way to how the species of linear orders is the derivative of the species of cyclic orders?

asked Jul 4, 2023 at 20:23

5 votes

1 answer

185 views

Is there a monoidal category that coclassifies enriched category structures for a given set?

asked May 7, 2017 at 17:02

4 votes

1 answer

292 views

A cochain complex using degeneracy maps

asked Dec 1, 2020 at 0:45

3 votes

0 answers

111 views

"Boundaries" in Free Simplicial Monoids

asked Feb 18, 2021 at 12:10

3 votes

0 answers

136 views

Fundamental monoid pertaining to adjunctions

asked Apr 3, 2017 at 15:08

3 votes

0 answers

153 views

Displaying displayed categories

asked Nov 17, 2019 at 16:20

3 votes

0 answers

104 views

Classifying space for singular foliations

asked Oct 28, 2016 at 0:31

3 votes

0 answers

134 views

Is there a construction capturing indexed families of adjunctions?

asked Dec 5, 2016 at 15:43

2 votes

0 answers

194 views

Locally consistent theories

asked Dec 22, 2016 at 18:34

2 votes

1 answer

293 views

Can tangent ($\infty$,1)-categories be described in terms of the higher Grothendieck construction?

asked Jan 1, 2017 at 21:01

2 votes

0 answers

207 views

A map that names itself

asked Oct 19, 2021 at 21:58

1 vote

1 answer

91 views

Algebras for general transfors

asked May 18, 2021 at 11:22

1 vote

0 answers

68 views

Underdetermined Polynomial $(\infty ,1)$-Functors

asked Feb 2, 2017 at 20:22

0 votes

1 answer

355 views

Writing categories as slice categories

asked Sep 23, 2016 at 16:54

Stack Exchange Network

15 Questions

Homotopic version of Freyd's AT category observations

Can cyclic and simplicial objects be related in a similar way to how the species of linear orders is the derivative of the species of cyclic orders?

Is there a monoidal category that coclassifies enriched category structures for a given set?

A cochain complex using degeneracy maps

"Boundaries" in Free Simplicial Monoids

Fundamental monoid pertaining to adjunctions

Displaying displayed categories

Classifying space for singular foliations

Is there a construction capturing indexed families of adjunctions?

Locally consistent theories

Can tangent ($\infty$,1)-categories be described in terms of the higher Grothendieck construction?

A map that names itself

Algebras for general transfors

Underdetermined Polynomial $(\infty ,1)$-Functors

Writing categories as slice categories