duality   119

« earlier    

[1611.09560] A duality for involutive bisemilattices
We establish a natural duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as P{\l}onka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be viewed as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska equipped with an involution as additional operation.
category-theory  to-understand  abstraction  duality 
3 days ago by Vaguery
(7) Lecture 8 | Convex Optimization I (Stanford) - YouTube
the great Boyd himself talking about "irritation" type objectives. Ahh, so refreshing.
duality  convex-optimization  talks 
october 2017 by gideonite

« earlier    

related tags

2014  2016  20c  a  absolute-relative  abstraction  acm  acmtariat  action  advanced  adventure  afterlife  alextrochut  algebra  algorithm  algorithms  ambivalence  amt  analogs  analogy  analysis  analytical-holistic  and  animations  ankur-moitra  ann  anthropology  antiquity  apocalypse  apple  application  approximation  architecture  art  article  asia  atheism  atlantic  atomic  atoms  aunt  authoritarianism  average-case  axioms  balance  barlow  bayesian  beer  being-right  belief  big-list  big-picture  binaryprints  blog  bluemangroup  bmg  boltzmann  books  both  brain  brin  broad-econ  buddhism  c#  calculation  cartesian  category-theory  category  categorytheory  causation  cbw  cc  chaos  chapman  characters  chart  cheatsheet  china  choice  christianity  classical-logic  clever-rats  cocktail  coding-theory  cog-psych  cognitive  collectiveunconsious  comfort  commencement  communism  commutant  comparative  compare  comparison  composition  compression  compressione  compressive  compromise  compsci  computerscience  computing  concentration-of-measure  concept  conceptual-vocab  confidence  conquest-empire  consciousness  constancy  constraint-satisfaction  continuations  convex-optimization  convex  convexity-curvature  corpuscular  counting  couple  course  create  creative  criticism  crypto  curvature  danahercorp  database  death  debate  decision-theory  deep-materialism  definition  degrees-of-freedom  delicious-export  delicious-private  dennett  dev  differential  dignity  dimensionality  discussion  distribution  diversity  dnb  dotnet  dowd:  drumstep  dualism  dubstep  dumb-ml  earth  eden-heaven  education  edwardwitten  effect  electricity  electronics  elegance  engineering  english  enlightenment-renaissance-restoration-reformation  ensembles  entropy-like  epistemic  erikmeijer  escape  essay  essence  estimate  ethics  europe  event  evolution  examples  exegesis-hermeneutics  exercise  existence  expansions  explanans  explanation  exposition  extrema  false  farmers-and-foragers  fiction  film  formal-values  forms-instances  fourier  fp  free  frequency  functional  game-theory  gamedev  games  gaming  gamma  gavisti  gay  gender-diff  gender  general  geometriclanglands  geometry  glowinthedark  gnon  gnosis-logos  gnxp  god-man-beast-victim  good-evil  government  gradient-descent  graph-theory  graphs  gravity/gauge  gravity  ground-up  group_member  guide  habit  hacker  harvard  hashing  haskell  hero  heuristic  hi-order-bits  high-dimension  hiroshiooguri  history  hmm  hn  holographic  homo-hetero  honor  huge-data-the-biggest  human  ideas  identity  ideology  ieee  illusione  inference  init  inner-product  innocent  inspiration  instagram  installation  institutions  integral  integrity  intentions  interesting  internet  interpretation  intricacy  intuition  iron-age  isaac  islam  iterative-methods  janus  jargon  judaism  justice  kafka  kanso  kinfolk94  knowledge  ksql  lagrange  langlandsprogram  language  latent-variables  lattices  learning  lecture-notes  lecture  lectures  leibniz  lens  lesswrong  letters  levers  life  light  liminality  linear-algebra  linear-programming  linear  linear_programming  linearity  linearprogramming  list  logic  luca-trevisan  lydia  machine-learning  maps  marginal  market  marketing  markov  matching  math.ag  math.ca  math.cv  math.fa  math.mg  math  mathematics  matrices  matrix-factorization  max  mechanics  medicine  medieval  mediterranean  mena  mental  meta:math  meta:medicine  meta:rhetoric  metabuch  metameta  metaphysics  microsoft  mind  mit  model-class  models  moments  monad  monads  mono  monstercat  morality  motion  movie  multi  mutation  mystic  myth  n-factor  nature  neither  neurology  neurons  neuroscience  new-age  new-religion  newton  nga  nibble  nietzschean  nihil  ninary  nitty-gritty  norms  nosql  notes  objektbuch  observation  occident  ocw  of  ologrammi  on  online-learning  optimal  optimization  order-disorder  org:bleg  orient  orlikowski  os  osx  overflow  p:***  p:**  p:whenever  paganism  pairing  pantone  paper  parable  paradox  parallax  particle  particles  pdf  perturbation  philosophy  phtotography  physicists  physics  pilot  pink  plank  playing  poast  polisci  politics  positivity  pragmatism  prediction  princeton  principle  priors-posteriors  probability  programming  proofs  properties  psychoanalysis  psychology  puzzle  q-n-a  qbit  qbits  qft  qra  quantum-mechanics  quantum  quantummechanics  quixotic  quotations  raising  rand-approx  random-matrices  random-networks  random  rat-pack  rationality  ratty  reactive  reality  reason  recovery  reference  reflection  relativity  relaxation  relazation  religion  research  resonance  review  rigorous-crypto  rinstagram  roots  rosequartz  rounding  russia  rx  s:***  sampling  sanjeev-arora  scale  science  scientist  scitariat  screencast  sdp  selection  sensing  serenity  shaman  shrodinger  signal  signum  sim  sinosphere  skeleton  sky  slides  social  soft-question  software  son  sourcing  spacetime  sparsity  spazio  speech  speed  spirituality  sql  stability  stanford  start  state  stats  stock-flow  story  streams  structuralism  subjective-objective  sublinear  submodular  submodularity  symmetric-lambda-calculus  symmetry  synthesis  tables  talks  tcs  tcstariat  tdt4245  teaching  tech  technology  teleology  tesla  the-classics  the-devil  the-founding  the-great-west-whale  the-self  the  theism  theory  theos  thesis  things  thinking  tidbits  tim-roughgarden  time  to-understand  toe  toolkit  top-n  toread  track-record  tranquility  transport  trends  tricki  trickster  trigonometric  trivia  true  trust  truth  turchin  tutorial  twitter  uncertainty  uniqueness  unit  universalism-particularism  utopia-dystopia  video-games  wave-particle  wave  web  whole-partial-many  wiki  will  wire-guided  wisdom  within-without  wormholes  writing  yoga  👳  🤖 

Copy this bookmark:



description:


tags: