nLab Author — J-B Vienney

Overview

J-B Vienney has contributed to 160 nLab pages.

Most recent contributions

All pages contributed to

• !-modality
• abstract rewriting system
• adjoint functor
• algebra modality
• algebroid
• anticommutative graded codifferential category
• associative unital algebra
• atomic Boolean algebra
• base
• Bernhard Keller
• bi-
• bimodule
• bimonoid
• biproduct
• Boolean rig
• Boolean ring
• bounded linear logic
• Bézout domain
• categories and logic - table
• category of monoids
• Christos Papadimitriou
• Church-Rosser theorem
• clique
• closed monoidal category
• CMon-enriched monoidal category
• CMon-enriched symmetric monoidal category
• Cohen-Macaulay module
• Cohen-Macaulay ring
• coherence space
• commutative monoidal category
• comonoid
• complexity theory
• computability
• computational trilogy
• confluent category
• connected space
• convolution algebra
• coproduct
• counterexamples in algebra
• cut rule
• cyclic group
• deck transformation
• Dedekind-Hasse norm
• degree of a polynomial
• denotational semantics
• derivation
• determinant
• differentiable map
• differential category
• differential linear logic
• divided power algebra
• Edmund Husserl
• elliptic Selberg integral
• endomorphism operad
• enriched category
• exterior algebra
• finite number
• Fox theorem
• free groupoid
• GCD domain
• GCD ring
• generic representation theory
• Gorgias dialogue
• graded algebra
• graded bimonoid
• graded codifferential category
• graded comonoid
• graded modality
• graded monad
• graded monoid
• graded Seely isomorphism
• Graded Seely isomorphism > history
• graph
• group algebra
• Hasse-Schmidt derivation
• Hasse-Schmidt derivative
• Helmut Hasse
• homogeneous polynomial
• Homogeneous polynomial codifferential category
• homomorphism
• Hopf algebra
• identity natural transformation
• immanant
• inclusion-exclusion
• J-B Vienney
• Jean-Louis Loday
• Jean-Simon Lemay
• Jean-Yves Girard
• Kleisli category
• Kolmogorov topological space
• Langlands functoriality
• lattice-ordered abelian group
• linear lambda-calculus
• linear logic
• linear type theory
• locally confluent
• Lorenzo Tortora de Falco
• Ludwig Wittgenstein
• Michael Sipser
• Michele Pagani
• module
• module over a monoid
• monoidal category
• monoidal functor
• Moore closure
• morphism
• Morris Weifeld
• multiplicatively cancellable rig
• N-graded module
• Newman's lemma
• Nicholas Kuhn
• noetherian ring
• nondeterministic computation
• operad of set operations
• ordinal number
• partition
• perfectoid space
• Peripatetic Seminar on Sheaves and Logic
• permanent
• permutative category
• phenomenology (philosophy)
• phenomenology (physics)
• Plato
• prelattice-ordered commutative monoid
• primitive element
• principal ideal domain
• quantum information theory via dagger-compact categories
• radical ring
• relevant monad
• rewriting
• rig
• Rig
• Ring
• ring object
• Robert Gilmer
• salamander lemma
• Sandbox
• scheme
• Schur functor
• Seely isomorphism
• semiring
• semiring scheme
• Specht module
• star-autonomous category
• Steenrod algebra
• strict monoidal category
• subgroup
• symmetric algebra
• symmetric group
• symmetric monoidal category
• symmetric powers in a symmetric monoidal (Q plus)-linear category
• tensorial strength
• termination
• Thomas Fox
• torsion subgroup
• traced monoidal category
• unique factorization domain
• Vect
• weak (star)-autonomous category
• Young subgroup