# Tagged Questions

Categories and functors, universal properties, algebras and algebraic theories, topoi, enriched and internal categories, structured categories (abelian, monoidal, etc), higher categories.

**4**

**0**answers

### Proposition in HTT on cofibrations of categories

**0**

**0**answers

### Does the 2 category of Groupoids Admit the Vector Space Monad?

**4**

**1**answer

### What is the idempotent completion of the (2,1)-category of spans of finite sets?

**5**

**0**answers

### Internal hom as 2-Kan lift of pseudofunctor

**2**

**2**answers

### Example: Accessible category without colimits

**7**

**2**answers

### What is a true invariant of $G$-crossed braided fusion categories?

**4**

**0**answers

### $MK+CC$ as a foundation for category theory

**2**

**0**answers

### Is Quillen's bracket a “universal enveloping” something?

**6**

**0**answers

### Product-preserving fibrant replacement functor for the Joyal model structure

**-2**

**2**answers

### Adjunctions between Groupoids and Hilbert spaces

**7**

**1**answer

### Simplicial nerve functor commutes with opposites

**0**

**1**answer

### To check if a stack is coming from a manifold

**3**

**0**answers

### Differential geometry and category theory

**9**

**2**answers

### Balls in Lawvere metric spaces

**70**

**5**answers

### Has incorrect notation ever led to a mistaken proof?

**1**

**0**answers

### Is that correct $\mathbb R^2\cong\mathbb R$ as measurable spaces? [closed]

**5**

**0**answers

### When is $Ind(C)$ small?

**7**

**1**answer

### Bicategory of bimodules over internal monoids

**8**

**0**answers

### Is every presentable category a limit of locally finitely-presentable categories and finitary left adjoints?

**4**

**1**answer

### Exponential law w.r.t. compact-open topology

**1**

**0**answers

### Domain Monad on Density Operators Using Spectral Order

**2**

**0**answers

### Isomorphism of functors from isomorphism of of their endomorphisms

**11**

**1**answer

### On a surprising property of free theories

**2**

**0**answers

### Have you seen this extension property?

**23**

**2**answers

### Another notion of exactness: how to refine it, and where does it fit?

**14**

**1**answer

### Why “modding out the homeomorphism” in the category Top makes no rigorous sense?

**6**

**1**answer

### Is a weak functor which strictly preserves horizontal composition and which runs between strict bicategories automatically strict?

**10**

**1**answer

### Set-theoretical multiverses and their representation as functors? Why *the* multiverse?

**1**

**0**answers

### (Co)Monads with a mixed distributive law on the 2-Category of Groupoids

**9**

**2**answers

### What are the reflective subcategories of the category of presentable categories?

**12**

**2**answers

### What is a tensor category?

**6**

**0**answers

### Frobenius monads and groupoids

**0**

**0**answers

### Comments/references on an obscure category of “rudimentary representations”

**3**

**1**answer

### 2-morphisms for Bord(n)

**4**

**1**answer

### Equivariant non symmetric operads

**12**

**0**answers

### What's wrong with the obvious argument that the unstable motivic category is an $\infty$-topos?

**5**

**0**answers

### Products of representables are regular on a regular skeletal Reedy category?

**6**

**1**answer

### Is there a relationship between norms/transfers in equivariant homotopy theory and norms in the Tate construction / ambidexterity?

**3**

**0**answers

### Is the simplicial objects functor a comonad?

**4**

**0**answers

### What are morphisms between regularity structures?

**-2**

**1**answer

### What is the big picture of algebraic geometry? [closed]

**4**

**0**answers

### Classification of combinatorial model categories presentable by simplicial presheaves on a Reedy category

**12**

**1**answer

### What is the coskeleton tower of a quasi-category?

**5**

**1**answer

### Model category of diagrams with the colimit detecting the weak equivalences

**6**

**1**answer

### Understanding two proofs in Dwyer and Kan article “Simplicial Localizations”

**12**

**3**answers

### General principles which lead to good questions in many concrete situations [closed]

**15**

**2**answers

### How can I functorially dualise in a symmetric monoidal $(\infty,1)$-category with duals?

**6**

**3**answers

### The skew monoidal structure induced by a functor

**5**

**0**answers

### References on categorical TVS theory

**3**

**1**answer