**0**

votes

**0**answers

41 views

### “Sheaf” on the nerve of a category

So I have the nerve of a category and want to communicate information about the sets at each level in the simplicial set (nerve). Is there a way to regard the nerve as a category itself? Then one ...

**0**

votes

**0**answers

64 views

### Is the category Cat complete? [on hold]

Let $Cat$ denote the 2-category of small categories. Is $Cat$ complete?
That is, given a diagram $\phi:J\rightarrow Cat$, does the limit over the diagram exist in $Cat$?

**9**

votes

**1**answer

679 views

### What is a field [Körper] really?

The notion of a field (a commutative ring $R$ with $0\neq 1$ and $R^\times=R-\{0\}$) seems to fit uncomfortably into modern algebra. To see what I mean, consider the following statements:
The ...

**18**

votes

**2**answers

787 views

### The homotopy category is not complete nor cocomplete

I understand that the homotopy category of (pointed) topological spaces and continuous maps is not complete. Nor is it cocomplete. In particular it neither has all pullbacks nor all pushouts.
What ...

**9**

votes

**1**answer

579 views

### Why do we denote (co)ends with integral notation (beyond Fubini's Theorem)?

I know that (co)ends (i.e. universal wedges) follow Fubini-like relation, i.e.
$$ \int_{\langle c,d\rangle} F(c,d,c,d) \cong \int_c\int_d F(c,c,d,d) \cong \int_d\int_c F(c,c,d,d) $$
where we regard ...

**1**

vote

**0**answers

44 views

### Dual equivalence for multioperators

This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...

**1**

vote

**0**answers

81 views

### Mayer-Vietoris sequence for orbifolds

Is there a version of the Mayer-Vietoris long exact sequence for orbifolds? I am interested in orbifold homology as opposed to the homology of the underlying topological space.

**28**

votes

**1**answer

684 views

### What is the meaning of this analogy between lattices and topological spaces?

Let me add one more edit to help explain why this is a serious question. Theorem 5 below is a sort of lattice version of Urysohn's lemma, and it has essentially the same proof. Theorem 6, the famous ...

**4**

votes

**0**answers

103 views

### Categories where every Mono Splits

When every epi splits a category is said to satisfy the Axiom of Choice.
When every idempotent splits a category is called Cauchy Complete or Idempotent complete.
These look to be well-studied ...

**3**

votes

**0**answers

66 views

### Reference for generalized ind-completions?

I am wondering whether any enriched versions of ind- and pro- completions have been studied? I can not find any literature on them, even though I believe people (most likely the Australian school) ...

**-5**

votes

**1**answer

108 views

### Equivalence of categeories-variants of definition [closed]

There is a notion of equivalence of categories which is the functor $F:\mathcal{C} \to \mathcal{D}$ such that there is a functor $G:\mathcal{D} \to \mathcal{C}$ such that $FG \cong id_{\mathcal{D}}$ ...

**5**

votes

**3**answers

125 views

### Set of functions is not a bifunctor on Rel

Let Rel be the category whose objects are sets and whose morphisms are binary relations, with composition defined by $x (S \circ R) z \Leftrightarrow (\exists y : x R y \wedge y S z)$, and identity ...

**24**

votes

**2**answers

1k views

### Properties of functors and their adjoints

I am interested in collecting in this question a list of properties a functor $F$ may have and what those properties imply for left and right adjoints, $F^L$ and $F^R$, assuming they exist. There are ...

**1**

vote

**0**answers

105 views

### $\mathbb E$-descent maps in topological spaces in terms of different sites?

The paper Facets of Descent I by Janelidze and Tholen defines $\mathbb E$-descent maps as those for which $\Phi^p:\mathbb EB\longrightarrow \mathsf{Des}_\mathbb{E}(p)$ is an equivalence of categories.
...

**2**

votes

**1**answer

133 views

### Product and coproduct for bipartite graphs

Consider the category $BiGraph$ of bipartite graphs (vertices are named "places" and "transitions" like in Petri nets) and continous maps. A subgraph is named open iff it is place-bordered, and a map ...

**8**

votes

**2**answers

424 views

### Topological characterization of injective metric spaces

Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ ...

**6**

votes

**0**answers

312 views

### Competing notions of étaleness

I'm writing some notes to myself on algebraic geometry and I'm trying to get the most conceptual definitions. Having arrived at formally étale morphisms, I am pretty desperate.
Here is a list of ...

**2**

votes

**2**answers

365 views

### A Category-ish Structure with Morphism Domains containing Multiple Objects?

I am working on formalizing software design using category theory.
However the most natural way for me to express what I want is with a Category where multiple morphisms can join into a single ...

**7**

votes

**1**answer

300 views

### Étale morphisms in SDG

On page 70 here, Kock defines a formally étale morphism $f:M\rightarrow N$ as one for which the following square is a pullback for each $d:\mathbf 1\rightarrow D$
$$\require{AMScd} \begin{CD} M^D ...

**2**

votes

**1**answer

240 views

### Special objects in a category - terminology

For an object $A$ in a category $\mathfrak{C}$, consider the following property.
($*$) For every object $B$ in $\mathfrak{C}$, the set of morphisms $\text{Hom}(B,A)$ is either empty or consists ...

**5**

votes

**0**answers

140 views

### If $A$ is an algebra, $Sym^n(A)$ is an algebra. Where can I learn more about this algebra structure?

$\newcommand{\Vect}{\mathsf{Vect}}
\newcommand{\nats}{\mathbb{N}}
\newcommand{\Sym}{\mathrm{Sym}}
\newcommand{\Alg}{\mathsf{Alg}}
\newcommand{\CAlg}{\mathsf{CAlg}}
\newcommand{\Hom}{\mathrm{Hom}}$
Let ...

**8**

votes

**1**answer

415 views

### Cohomology theory “from” Grothendieck's six operations?

How, precisely, (as suggested by grothendieck) cohomology theory naturally follows from the Grothendieck's six operations associated to the category derived from the topos?
I would like some ...

**1**

vote

**0**answers

59 views

### A question on uniformly corepresented functor

Let $\mathcal{F}$ be a functor from the category of $k$-schemes to sets, uniformly corepresented by $M$. Suppose $U$ is an open subscheme of $M$. I could not find a good reference for uniformly ...

**2**

votes

**1**answer

58 views

### How nontrivial can “central extensions of ribbon fusion categories” be?

In a sense, this is a follow up on this question, but one PhD programme later.
Let $\mathcal{C}$ be ribbon fusion. By $\mathcal{C}'$, we denote the symmetric centre, i.e. the full subcategory of ...

**2**

votes

**1**answer

210 views

### List is a monad, but is it a comonad with these natural transformations?

List is known to be a monad. It takes a set and maps it to lists of elements of that set. The natural transformations are, singleton and flatten, whereby we map a set to a set of singleton lists ...

**7**

votes

**1**answer

65 views

### natural weak factorization systems

I am trying to understand the definition of natural weak factorization systems from this article by Tholen and Grandis, and these notes by Emily Riehl.
In Riehl's notes, the splitting $s,t$ are of ...

**6**

votes

**4**answers

907 views

### What is the intuition of connections for cubical sets?

I am beggining to do some work with cubical sets and thought that I should have an understanding of various extra structures that one may put on cubical sets (for purposes of this question, ...

**8**

votes

**1**answer

152 views

### Intuition for density comonad in relation to lifting problems

In Emily Riehl's Categorical Homotopy Theory, there is a section on Garner's Small Object Argument which I'm trying and failing to understand. Originally I followed most of Garner's paper, using the ...

**2**

votes

**1**answer

134 views

### Appropriate morphisms and 2-morphisms in Ind(C)

As I was trying to understand the category $Ind(C)$ of diagrams of the form $I \to C$, where $I$ is a small filtered $(0,1)$-category, I wondered whether it is possible to define morphisms directly, ...

**11**

votes

**6**answers

3k views

### Is there a relationship between model theory and category theory?

According to Chang and Keisler's "Model Theory", Model Theory = Universal Algebra + Logic. Model theory generalized Universal Algebra in the sense that we allow relation while in Universal Algebra we ...

**10**

votes

**1**answer

149 views

### Which simplicial objects are Čech nerves?

In 1-categories, a regular epimorphism is a coequalizer of some parallel pair. An effective epimorphism is one which coequalizes its kernel pair. In the presence of kernel pairs, regular and ...

**10**

votes

**2**answers

408 views

### From Weyl groups to Weyl groupoids?

I'm trying to find a framework where the choices in the classical construction of a root system of a semi-simple lie algebra are not needed.
Let $\mathfrak{g}$ be a semisimple lie algebra.
...

**5**

votes

**0**answers

142 views

### Hemi-Semi Direct Product

In the category of racks (similarly quandles), instead of well-known semi direct product, we have hemi-semi direct product construction as seen on Wagemann & Crans.
As far as I know, semi direct ...

**5**

votes

**0**answers

250 views

### Deligne's theorem on the characterisation of Tannakian categories

I am trying to understand the proof of the Theorem 7.1 from Catégories Tannakiennes by Pierre Deligne https://publications.ias.edu/sites/default/files/60_categoriestanna.pdf.
Essentially, it is ...

**7**

votes

**4**answers

608 views

### What are natural examples of “bimorphism” classes?

Note: As pointed out in a comment by Peter and echoed by Andrew in his answer, the question as stated does not make sense because "being bimorphic to" is not an equivalence relation. Nevertheless, I ...

**9**

votes

**3**answers

458 views

### “Spatial (geometrical)” realization of Elementary topos?

It is well known that (Grothendieck) Topos (in fact, Model topos too) has many good geometrical properties. In many senses reflects general forms of generic geometry.
Note: Grothendieck view of Topos ...

**23**

votes

**1**answer

406 views

### Is Lemma D4.5.3 in the Elephant correct? (“In a topos, weakly projective implies internally projective.”)

Lemma D4.5.3 of Johnstone’s Sketches of an Elephant states:
Lemma. For an object $A$
of a topos $\newcommand{\E}{\mathcal{E}}\E$, the following are equivalent:
$A$ is internally ...

**2**

votes

**1**answer

142 views

### Small object argument for multiple factorization systems

Is there something similar to the small object argument, but related to a chain of factorization systems on a category $\cal C$?
It is easy to see that one can give a chain of "generating morphisms" ...

**4**

votes

**1**answer

77 views

### Are product / coproduct projections / inclusions 'semistrict'?

Let $\mathbf{C}$ be a category with zero object, kernels, and cokernels. Then, a morphism $f\colon A\rightarrow B$ in $\mathbf{C}$ is semistrict iff the canonical map $\operatorname{Coker}(\ker ...

**3**

votes

**1**answer

162 views

### discrete Grothendieck construction

In "BASIC CONCEPTS OF ENRICHED CATEGORY THEORY", (version Reprints in Theory and Applications of Categories, No. 10, 2005), chapter 4.7 p.75-76, Kelly introduces the "discrete Grothendieck ...

**30**

votes

**5**answers

3k views

### Several Topos theory questions

Hey. I have a few off the wall questions about topos theory and algebraic geometry.
Do the following few sentences make sense?
Every scheme X is pinned down by its Hom functor Hom(-,X) by the ...

**3**

votes

**0**answers

84 views

### Obtaining Lawvere's “State categories and response functors”

I'm looking to get my hands on a (.pdf) copy of Lawvere's 1986 preprint State categories and response functors. If someone can post it and answer this question by offering a link, I'd appreciate it.

**1**

vote

**0**answers

56 views

### Adjunction of Crossed Module Functors

I am wondering about the following two related questions and don't know if they have already clear answers or not.
1) Suppose that we already know the functor $F \colon \mathcal{C} \to \mathcal{D}$ ...

**6**

votes

**1**answer

120 views

### Factorization system “tilted” by $(L,R)$

Suppose you have a pair of orthogonal factorization systems, $(E_0, M_0), (E_1, M_1)$ in a category $\cal C$ such that $M_0\subseteq M_1$; this entails that there is a ternary factorization
$$
...

**23**

votes

**2**answers

869 views

### What is the relation between sphere spectrum and supersymmetry?

In this this google+ post of Urs Schreiber, he says: "Grading over the sphere spectrum is supersymmetry" and then he redirect us to the abstract idea of superalgebra (in nLab).
Are there some ...

**22**

votes

**10**answers

1k views

### Examples of categorical adjunctions in analysis, Lie theory, and differential geometry?

In introductory texts on category theory, it seems like the majority of examples come from algebraic topology, algebra, and logic. Are there any good examples of adjunctions in analysis, Lie theory, ...

**9**

votes

**0**answers

148 views

### Is there any notion of “smoothification” from $\mathbb{R}$-schemes to generalized smooth spaces?

I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor ...

**10**

votes

**1**answer

251 views

### Difficulties with descent data as homotopy limit of image of Čech nerve

Apologies if this question is inappropriate for MO. It is not a research level question in any of the topics it addresses, I just don't see how a novice can go about answering it alone (I've tried ...

**7**

votes

**1**answer

88 views

### Can a weak fibration category be non saturated?

A weak fibration category is a category $\mathcal{C}$ equipped with two subcategories
$$\mathcal{F}, \mathcal{W} \subseteq \mathcal{C}$$
containing all the isomorphisms, such that the following ...

**1**

vote

**0**answers

86 views

### Example of non-locally finite stability condition

I am trying to work out example 5.6 in Bridgeland's paper "Stability conditions on triangulated categories".
http://annals.math.princeton.edu/wp-content/uploads/annals-v166-n2-p01.pdf
A standard ...