# Tagged Questions

25 views

### An interleaved path of arrows in a category/digraph

In what I am doing now, a slightly strange concept emerged; My objects are sequences of arrows $\{f_i\}_{i=1}^{n}$ in a small category such that for every $1\leq i\leq n-1$, there is an arrow from the ...
10 views

### What's the name for the union of a set of any graph and the set of its related hypergraphs?

So any graph can, if you arbitrarily partition the vertices into two groups represent, in that bipartite form, the incidence graph of a corresponding hypergraph. Is there anything special or known ...
122 views

### Category theory - where is my error?

In Explicit formula for exponential objects in category of digraphs and its answer we have currying/uncurrying (which I will denote $\sim$ and $-$) as exponential transpose for the category ...
133 views

### Explicit formula for exponential objects in category of digraphs

I have already asked a similar question: Exponential object in a category of graphs but earlier I have asked only about existence of exponential object, while in this question I ask for exact formulas ...
137 views

### Pullbacks and pushouts in the category of digraphs?

By definition the category of digraphs is: Objects are endomorphisms of the category $\mathbf{Rel}$ (that is sets equipped with a binary relation on that set). Morphisms from an object $\mu$ to an ...
53 views

### Generalizations of colorability

It is fun to recognize that the $n$-colorable graphs are exactly those graphs $X$ in the category of simple graphs with an homomorphism to the complete graph $K_n$. Question 1: Are there other ...
46 views

### What are co-products for directed graphs?

I define a digraph as a set $V$ (vertexes) and a relation $E$ (edges) on $V$. Morphisms of digraph are functions which preserve $E$. So we have a category. What are co-products in this category? (I ...
103 views

### Categorical characterization of complete graphs

In the category of (finite) simple graphs with graph homomorphisms $\mathsf{SimpGph}$, (how) can the complete graphs $K_n$ be characterized by genuinely categorical means? Are they somehow ...
103 views

### Is there an algorithm for determining when two graphs are isomorphic?

The title says it all. Is there such an algorithm? More generally, is there an algorithm for deciding when two objects are isomorphic in a particular category?
48 views

### Systematizing graph morphisms

Trying to systematize possible notions of graph morphisms I came about the following classification: A morphism $f$ which sends a graph $G$ to another graph $G'$ is – first of all – ...
34 views

### Possible number of endofunctors

The discrete category with countably many objects and morphisms has uncountably many endofunctors (= the number of functions from $\mathbb{N}$ to $\mathbb{N}$). Which categories with countably many ...
206 views

### What distinguishes topological spaces from graphs?

Topology would not "work" if one reverted the "direction" in the definition of continuous maps $f$: $$\text{open}(x) \rightarrow \text{open}(f(x))$$ It has to be \text{open}(f(x)) \rightarrow ...
102 views

### Universal properties of “interesting” families of graphs

Can cycles – and/or other "interesting" families of graphs like paths, trees, hypercubes, etc. – be characterized by a universal property in the category of graphs? I admit that there is ...
70 views

### Are concepts and properties studied in a category all preserved by morphisms?

When study a category, are we only interested in those concepts and properties preserved by the morphisms, not those which cannot be preserved? For example, in Terry Tao's blog We say that one ...
238 views

### The opposite category of the category of graphs

Does anyone know where I can find a description of the opposite category of the category of graphs? The morphisms of the category are graph homomorphisms. Thank you
81 views

### Why don't all transitive graphs with a single loop define a category?

I'm reading Abstract & Concrete Categories: The Joy of Cats. On exercise 3A(c), the author defines the graph of a category C to be the large graph whose vertices are the objects in C, and whose ...
110 views

### Which graph products are categorical products?

There is a whole bunch of definitions of graph products, but only one of them - the tensor product - is the categorical product in the (standard) category of graphs with graph homomorphisms. I'd ...
118 views

### Right adjoint to forgetful functor from “dynamical system” digraph

Question about "dynamical systems," as Lawvere/Schnauel calls them in their baby book (ie digraph w exactly 1 arrow out of each point). What would a "chaotic" dynamical system be? In the book's ...
93 views

### What is special about simplices, circles, paths and cubes?

There are some ubiquitous families of graphs — the complete graphs (or simplices) $K_n$, the circle graphs $C_n$, the path graphs $P_n$, and the hypercube graphs $Q_n$ — that intuitively ...
220 views

### Do the terms “quiver” and “meta graph” refer to the same concept?

Do the terms "quiver" and "metagraph" refer to the same concept? Or is there a distinction I am missing. My sources are Quiver - http://ncatlab.org/nlab/show/quiver Metagraph - ...
169 views

### Understanding current development of Category Theory to describe graphs over Euclidean Spaces

This question is about two Mathematical "concepts" joined together in one structure and giving birth to an entity having many descriptions in both domains. Basically I have to deal with graphs. Those ...
207 views

### Category of Trees as sub-category of Category of Graphs

A tree (like a binary search tree) is a direct graph with some limitations (no cycles, connected). How can I express the category of trees as "sub-category" of a graphs? There is a way? I'm not sure ...
249 views

### Is Erdős' lemma on intersection graphs a special case of Yoneda's lemma?

Under which name is the following proposition filed actually: Every poset $P$ embeds fully and faithfully in the powerset of $P$, ordered by subset inclusion. Let me call it Dedekind's lemma. ...
43 views

### Reducts of categories

There are several ways to reduce a category. The skeleton of a category is the category with isomorphic objects collapsed into one i.e. the only isomorphisms that remain are the identities. What's ...
When one talks about the category $V_K$ of vector spaces over a field $K$ and considers the dual functor $D$ which maps a vector space $V$ to its dual $V^{*}$ I believe to have in mind something like ...