Searches , social queries for N MONOID
Search references for N MONOID. Phrases containing N MONOID
See searches and references containing N MONOID!
Search references for N MONOID. Phrases containing N MONOID
See searches and references containing N MONOID!N MONOID
category theory, a (strict) n-monoid is an n-category with only one 0-cell. In particular, a 1-monoid is a monoid and a 2-monoid is a strict monoidal category
N-monoid
Algebraic structure with an associative operation and an identity element
is a free monoid. Transition monoids and syntactic monoids are used in describing finite-state machines. Trace monoids and history monoids provide a foundation
Monoid
Collection of objects and morphisms
n d ( a ) {\displaystyle \mathrm {end} (a)} . For locally small categories, e n d ( a ) {\displaystyle \mathrm {end} (a)} is a set and forms a monoid
Category_(mathematics)
General theory of mathematical structures
the case. For example, a monoid may be viewed as a category with a single object, whose morphisms are the elements of the monoid. The second fundamental
Category_theory
Type of category in mathematics
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Topos
Mapping between categories
object is the same thing as a monoid: the morphisms of a one-object category can be thought of as elements of the monoid, and composition in the category
Functor
Generalization of category theory
category n-Cat of (small) n-categories is actually an (n + 1)-category. An n-category is defined by induction on n by: A 0-category is a set, An (n + 1)-category
Higher_category_theory
Philosophical Society. 119 (3): 447–468. Bibcode:1996MPCPS.119..447J. doi:10.1017/S0305004100074338. S2CID 50511333. Traced monoidal category at the nLab v t e
Traced_monoidal_category
Most general completion of a commutative square given two morphisms with same domain
associative algebras for the case of non-commutative rings. In the multiplicative monoid of positive integers Z + {\displaystyle \mathbf {Z} _{+}} , considered as
Pushout_(category_theory)
Theorem in category theory
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Lawvere's_fixed-point_theorem
(2013). Homological Algebra In Strongly Non-Abelian Settings. Singapore: World Scientific. ISBN 978-981-4425-91-9. Conservative functor at the nLab v t e
Conservative_functor
Category whose objects are sets and whose morphisms are binary relations
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Category_of_relations
Most general completion of a commutative square given two morphisms with same codomain
multiplicative monoid of positive integers Z+ as a category with one object. In this category, the pullback of two positive integers m and n is just the
Pullback_(category_theory)
Type of category in mathematics
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Elementary_topos
Category-theoretic construction
Y\oplus X.} These properties are formally similar to those of a commutative monoid; a category with finite coproducts is an example of a symmetric monoidal
Coproduct
Applications of category theory
From Autonomy to Future Mobility Systems (Thesis). doi:10.3929/ethz-b-000648075. "The n-Category Café". golem.ph.utexas.edu. Retrieved 2019-07-20. v t e
Applied_category_theory
Mathematical concept
object N in C to the constant functor Δ(N) : J → C that maps all objects in J to N. That is, Δ(N)(X) = N for each object X in J and Δ(N)(f) = idN for each
Limit_(category_theory)
Map (arrow) between two objects of a category
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Morphism
Embedding of categories into functor categories
{\displaystyle A} of C {\displaystyle {\mathcal {C}}} , the natural transformations N a t ( h A , F ) ≡ H o m ( H o m ( A , − ) , F ) {\displaystyle \mathrm {Nat}
Yoneda_lemma
Aspect of category theory
arrow going between them. The coequalizer of these two functors is the monoid of natural numbers under addition, considered as a one-object category.
Coequalizer
Category admitting tensor products
category may also be viewed as a "categorification" of an underlying monoid, namely the monoid whose elements are the isomorphism classes of the category's objects
Monoidal_category
Emily (2016). Category Theory in Context. Dover Publications, Inc Mineola, New York. ISBN 9780486809038. Essentially surjective functor at the nLab v t e
Essentially surjective functor
Essentially_surjective_functor
In mathematics, invertible homomorphism
if m {\displaystyle m} and n {\displaystyle n} are coprime integers, the ring of the integers modulo m n {\displaystyle mn} is isomorphic
Isomorphism
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Stable_∞-category
Category whose objects are abelian groups and whose morphisms are group homomorphisms
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Category_of_abelian_groups
Collection of maps which give the same result
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Commutative_diagram
Special objects used in (mathematical) category theory
notion of final object (respectively, initial object). The endomorphism monoid of an initial or terminal object I is trivial: End(I) = Hom(I, I) = { idI
Initial_and_terminal_objects
Category mapping
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Pseudo-functor
Relation of categories in category theory
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Isomorphism_of_categories
Category whose hom objects correspond (di-)naturally to objects in itself
on Categorical Algebra. (La Jolla, 1965. Springer. pp. 421–562. doi:10.1007/978-3-642-99902-4_22. ISBN 978-3-642-99902-4. Closed category at the nLab
Closed_category
Hypothesis in mathematical category theory
hypothesis for (weak) n-groupoids, which roughly says Homotopy hypothesis—A (weak) n-groupoid is exactly the same as a homotopy n-type. The statement requires
Homotopy_hypothesis
Generalization of category
the monoid M = ({T, F}, ∧, T). As a category this is presented with two objects {T, F} and single morphism g: F → T. We can reinterpret this monoid as
2-category
Mathematical category formed by reversing morphisms
completing a semigroup to a monoid, taking the corresponding opposite category, and then possibly removing the unit from that monoid. The category of Boolean
Opposite_category
Category whose objects are R-modules and whose morphisms are module homomorphisms
\otimes } , the category of modules is a symmetric monoidal category. A monoid object of the category of modules over a commutative ring R {\displaystyle
Category_of_modules
In mathematics, collection of classes
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Conglomerate_(mathematics)
functor. Common smooth functors include, for some vector space W: F(W) = ⊗nW, the nth iterated tensor product; F(W) = Λn(W), the nth exterior power; and
Smooth_functor
Concept in mathematics
In abstract algebra, the free monoid on a set is the monoid whose elements are all the finite sequences (or strings) of zero or more elements from that
Free_monoid
Characterizing property of mathematical constructions
e. Δ ( N ) ( X ) = N {\displaystyle \Delta (N)(X)=N} for each X {\displaystyle X} in J {\displaystyle {\mathcal {J}}} and Δ ( N ) ( f ) = 1 N {\displaystyle
Universal_property
Topics referred to by the same term
(NEVPT) n-entity n-flake n-gram n-group n-monoid n-player game n-skeleton n-slit interferometer n-slit interferometric equation n-sphere n-vector n-vector
N-
Concept in mathematical category theory
DOI inactive as of September 2025 (link) Symmetric monoidal category at the nLab This article incorporates material from Symmetric monoidal category on
Symmetric_monoidal_category
Symmetric monoidal infinity category
In mathematics, an E n {\displaystyle {\mathcal {E}}_{n}} -algebra in a symmetric monoidal infinity category C consists of the following data: An object
En-ring
Endofunctor on the category V of finite-dimensional vector spaces
↦ Sym n ( V ) {\displaystyle V\mapsto \operatorname {Sym} ^{n}(V)} and the exterior powers V ↦ ∧ n ( V ) {\displaystyle V\mapsto \wedge ^{n}(V)} are
Polynomial_functor
Generalized object in category theory
Segre embedding. In the category of semi-abelian monoids, the product is given by the history monoid. In the category of Banach spaces and short maps
Product_(category_theory)
Mathematical category whose hom sets form Abelian groups
same way that a monoid can be viewed as a category with only one object—and forgetting the additive structure of the ring gives us a monoid). In this way
Preadditive_category
Correspondence between properties of a category and its opposite
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Dual_(category_theory)
Category whose objects and morphisms are inside a bigger category
(CT 1990). Lecture Notes in Mathematics. Vol. 1488. Springer. pp. 95–104. doi:10.1007/BFb0084215. ISBN 978-3-540-54706-8. Wide subcategory at the nLab
Subcategory
Set of arguments where two or more functions have the same value
Theory in Context. Dover Publications. ISBN 978-0486809038. Equalizer at the nLab Interactive Web page which generates examples of equalisers in the category
Equaliser_(mathematics)
of n-category". Theory and Applications of Categories. 10 (1): 1–70. Todd Trimble, Notes on Tetracategories, October 2006, [1] "Gray-category in nLab"
3-category
Functors which are surjective and injective on hom-sets
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Full_and_faithful_functors
Relationship between two functors abstracting many common constructions
a right adjoint to F. From monoids and groups to rings. The integral monoid ring construction gives a functor from monoids to rings. This functor is left
Adjoint_functors
Functor type
sends each bilinear map g : M × N → P to the bilinear map f∘g : M × N→Q. The functor B is represented by the R-module M ⊗R N. The functor represented by a
Representable_functor
Categorical generalization of a function space in set theory
monoidal category Exponential law for spaces at the nLab Convenient category of topological spaces at the nLab Goldblatt, Robert (1984). "Chapter 3: Arrows
Exponential_object
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Refinement_(category_theory)
Surjective homomorphism
Z to some monoid M. Then for some n in Z, g1(n) ≠ g2(n), so g1(−n) ≠ g2(−n). Either n or −n is in N, so the restrictions of g1 and g2 to N are unequal
Epimorphism
Bi-universal property in category theory
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Zero_morphism
Mathematical construction used in homotopy theory
the morphisms δ n , 0 , … , δ n , n : [ n − 1 ] → [ n ] {\displaystyle \delta ^{n,0},\dotsc ,\delta ^{n,n}\colon [n-1]\to [n]} , where δ n , i {\displaystyle
Simplicial_set
Category theory constructs
ISBN 0-521-28702-2, MR 0651714 Model independent proof of colimit formula for left Kan extensions Kan extension at the nLab Kan extension as a limit: an example
Kan_extension
Concept in mathematics
sets. Given a set N {\displaystyle N} , its Hom functor takes any set A {\displaystyle A} to the set of functions from N {\displaystyle N} to A {\displaystyle
Tensor–hom_adjunction
Category whose objects are rings and whose morphisms are ring homomorphisms
over Ab (the category of abelian groups) or over Mon (the category of monoids). Specifically, there are forgetful functors A : Ring → Ab M : Ring → Mon
Category_of_rings
Construction in category theory
( n 1 , n 2 , … ) {\displaystyle (n_{1},n_{2},\dots )} such that each element of the sequence "projects" down to the previous ones, namely, that n i ≡
Inverse_limit
Type of category in category theory
then a remarkable theorem that the Hom sets naturally admit an abelian monoid structure. A proof of this fact is given below. An additive category may
Additive_category
Mathematical structures in category theory
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Functor_category
Category in which all small limits exist
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Complete_category
Category theory
categorie de Kleisli". Cahiers de Topologie et Géométrie Différentielle Catégoriques. 33 (3): 261–6. MR 1186950. Zbl 0767.18008. Kleisli category at the nLab
Kleisli_category
Injective homomorphism
letting n = h(x) + 1, since G is a divisible group, there exists some y ∈ G such that x = ny, so h(x) = n h(y). From this, and 0 ≤ h(x) < h(x) + 1 = n, it
Monomorphism
Generalization of a category
n ] {\displaystyle {\mathfrak {C}}[n]} as a "thickened" version of the category [ n ] = { 0 , 1 , ⋯ , n } {\displaystyle [n]=\{0,1,\cdots ,n\}} ( [ n
Quasi-category
Type of quotient object in mathematics
Monoids and groups may be regarded as categories with one object. In this case the quotient category coincides with the notion of a quotient monoid or
Quotient_category
prominent author on the subject of groupoids in topology: http://groupoids.org.uk/ fundamental groupoid at the nLab fundamental infinity-groupoid at the nLab
Fundamental_groupoid
Quotient space of a codomain of a linear map by the map's image
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Cokernel
Category theory concept
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Overcategory
Special case of colimit in category theory
integer n, consider the general linear group GL(n;K) consisting of invertible n x n - matrices with entries from K. We have a group homomorphism GL(n;K) →
Direct_limit
Category of non-empty finite ordinals and order-preserving maps
{\displaystyle \Delta _{+}} is the monoidal category freely generated by a single monoid object, given by [ 0 ] {\displaystyle [0]} with the unique possible unit
Simplex_category
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Lift_(mathematics)
Category
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Pre-abelian_category
the notion of an En-ring. Categorification Higher-dimensional algebra Lie n-algebra John Baez, 2-Rigs in Topology and Representation Theory Lurie, J.
2-ring
Overview of and topical guide to category theory
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Outline_of_category_theory
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
Diagonal_functor
Concept in category theory
and moreover the composition m ∘ n {\displaystyle m\circ n} of any two cartesian morphisms m , n {\displaystyle m,n} in F {\displaystyle F} is always
Fibred_category
Generalization of the kernel of a homomorphism
information for algebraic purposes. Therefore, the notion of kernel studied in monoid theory is slightly different (see #Relationship to algebraic kernels below)
Kernel_(category_theory)
Connects set theory with category theory
example [ Ind S m ⊗ S n S n + m ( S μ ⊗ S ν ) ] and s μ s ν {\displaystyle \left[\operatorname {Ind} _{S_{m}\otimes S_{n}}^{S_{n+m}}(S^{\mu }\otimes S^{\nu
Categorification
Higher category theory concept
In category theory in mathematics, a weak n-category is a generalization of the notion of strict n-category where composition and identities are not strictly
Weak_n-category
Central object of study in category theory
integer n {\displaystyle n} there exists a group homomorphism h n : π n ( X , x ) → H n ( X ) {\displaystyle h_{n}\colon \pi _{n}(X,x)\to H_{n}(X)} from
Natural_transformation
Abstract homotopical model for topological spaces
_{n}:[n]\to [n+1]\\\tau _{n}:[n]\to [n+1]\end{aligned}}} such that the globular relations hold σ n + 1 ∘ σ n = τ n + 1 ∘ σ n σ n + 1 ∘ τ n = τ n + 1 ∘ τ n {\displaystyle
∞-groupoid
Functor that preserves short exact sequences
M → N {\displaystyle i:M\to N} , then the corresponding map between the tensor products M ⊗ Q → N ⊗ Q {\displaystyle M\otimes \mathbb {Q} \to N\otimes
Exact_functor
Category with direct sums and certain types of kernels and cokernels
T n {\displaystyle T_{n}} the algebra of upper-triangular n × n {\displaystyle n\times n} matrices over k, and A n {\displaystyle \mathbf {A} _{n}} the
Abelian_category
Krull dimension ≥ 2, it can be useful to treat modules M and N as pseudo-isomorphic if M/N has support of codimension at least two. This idea is much used
Localization_of_a_category
Construction in category theory
simplest cones. Let N be an object of C. A cone from N to F is a family of morphisms ψ X : N → F ( X ) {\displaystyle \psi _{X}\colon N\to F(X)\,} for each
Cone_(category_theory)
In algebra, a presentation of a monoid (or a presentation of a semigroup) is a description of a monoid (or a semigroup) in terms of a set Σ of generators
Presentation_of_a_monoid
Indexed collection of objects and morphisms in a category
called an inverse system. A cone with vertex N of a diagram D : J → C is a morphism from the constant diagram Δ(N) to D. The constant diagram is the diagram
Diagram_(category_theory)
morphisms, making it resemble a group. They are part of a larger hierarchy of n-groups. They were introduced by Hoàng Xuân Sính in the late 1960s under the
2-group
Monoidal category
K-linear abelian rigid tensor (i.e., a symmetric monoidal) category such that E n d ( 1 ) ≅ K {\displaystyle \mathrm {End} (\mathbf {1} )\cong K} . Then C is
Tannakian_formalism
Category whose objects are sets and whose morphisms are functions
Press, ISBN 978-0-12-545150-5 A231344 Number of morphisms in full subcategories of Set spanned by {{}, {1}, {1, 2}, ..., {1, 2, ..., n}} at OEIS.
Category_of_sets
Product of two categories, in category theory
Cambridge University Press. p. 22. ISBN 0-521-44178-1. Product category at the nLab Mac Lane, Saunders (1978). Categories for the Working Mathematician (Second ed
Product_category
Category equipped with a faithful functor to the category of sets
transformation UN → U an N-ary operation. The class of all N-ary predicates and N-ary operations of a concrete category (C,U), with N ranging over the class
Concrete_category
Concept in category theory
Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag, Berlin, Heidelberg, New York, 1997. ISBN 0-387-98403-8 Forgetful functor at the nLab
Forgetful_functor
Study of categorified structures
higher-dimensional manifolds (or n-dimensional manifolds). In general, an n-dimensional manifold is a space that locally looks like an n-dimensional Euclidean space
Higher-dimensional_algebra
Abstract mathematics relationship
which maps the object A n {\displaystyle A_{n}} of D {\displaystyle D} to the vector space R n {\displaystyle \mathbb {R} ^{n}} and the matrices in D
Equivalence_of_categories
Category whose hom sets have algebraic structure
the monoidal identity object I of M, being an identity for ⊗ only in the monoid-theoretic sense, and even then only up to canonical isomorphism (λ, ρ).
Enriched_category
Mathematical concept
[ n ] {\displaystyle [n]} of Δ {\displaystyle \Delta } to the standard n {\displaystyle n} -simplex inside R n + 1 {\displaystyle \mathbb {R} ^{n+1}}
End_(category_theory)
Higher categorical generalization of a topos
3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category Monoidal functor n-group n-monoid Category Outline Glossary
∞-topos
travel, tourism, insurance
N MONOID
N MONOID
N MONOID
N MONOID
N MONOID
N MONOID
N MONOID
N MONOID
N MONOID
travel, tourism, insurance