MATH
Login Or Sign up

List Question

15
65
Views

Is this a valid uniqueness up to isomorphism?

Published on
#category-theory #definition
710
Views

Questions about the definition of a Category

Published on
#category-theory
101
Views

For a monad: what is the $\mu: T^2 \rightarrow T$ natural transformation?

Published on
#category-theory
673
Views

Is there such a thing as "cartesian closure" in category theory?

Published on
#category-theory
495
Views

free commutative monoid monad

Published on
#category-theory #monoid #monads
226
Views

Quillen equivalence between sSet (Joyal's model structure) and sSetCat (Bergner's one)

Published on
#category-theory #proof-explanation #simplicial-stuff #higher-category-theory #model-categories
70
Views

Extension functor through trace of endofunctor

Published on
#reference-request #category-theory
684
Views

(Higher order) logic/type theory/category theory like (meta-)grammar/language/machine?

Published on
#logic #soft-question #category-theory #formal-languages #type-theory
130
Views

Thinking of the group $(\mathbb{Z}, +)$ as a single-object category?

Published on
#category-theory
126
Views

Cardinal collapse and (higher) toposes

Published on
#soft-question #category-theory #model-theory #topos-theory #type-theory
118
Views

Every (set) natural transformation is strong

Published on
#category-theory
258
Views

What kind of structure does the set of orthogonal bases in an inner product space form?

Published on
#linear-algebra #abstract-algebra #category-theory #machine-learning
236
Views

Definiton of the beta in Lurie's HTT

Published on
#category-theory #definition #model-categories #enriched-category-theory
116
Views

How to 'embed' an object of a category into this category?

Published on
#category-theory
386
Views

Group algebra functor preserves colimits

Published on
#category-theory #adjoint-functors #group-rings

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.