CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd" > <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-ca"> <head> <title>nForum - Mathematics, Physics & Philosophy</title> <link rel="shortcut icon" href="/themes/nforum/styles/nforum/favicon.ico" /> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <link rel="stylesheet" type="text/css" href="/extensions/TagThis/theme/tagthis.css" /> <link rel="stylesheet" type="text/css" href="/themes/nforum/styles/nforum/vanilla.css" media="screen" /> <link rel="stylesheet" type="text/css" href="/themes/nforum/styles/nforum/vanilla.print.css" media="print" /> <link rel="stylesheet" type="text/css" href="/extensions/GuestSignIn/style.css" /> <link rel="stylesheet" type="text/css" href="/extensions/OpenID/css/openid.css" /> <script type="text/javascript" src="/js/global.js"></script> <script type="text/javascript" src="/js/vanilla.js"></script> <script type="text/javascript" src="/js/ajax.js"></script> <script type="text/javascript" src="/js/ac.js"></script> <script type="text/javascript" src="/extensions/JQuery/jquery-1.4.2.min.js"></script> <script type="text/javascript" src="/extensions/OpenID/js/openid-jquery.js"></script> <script type="text/javascript" src="/extensions/OpenID/js/openid-en.js"></script> <script type="text/javascript" src="/extensions/MembersList/library/tablesort.js"></script> <script type="text/javascript" src="/extensions/MembersList/library/paginate.js"></script> <script type="text/javascript" src="/js/prototype.js"></script> <script type="text/javascript" src="/js/scriptaculous.js"></script> <script type="text/javascript" src="/extensions/Notify/functions.js"></script> <link rel="alternate" type="application/rss+xml" href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Page=1&Feed=RSS2&CategoryID=15&FeedTitle=Category+Feed+%28-+Mathematics%2C+Physics+%26+Philosophy%29" title="Category Feed (RSS2)" /> <link rel="alternate" type="application/atom+xml" href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Page=1&Feed=ATOM&CategoryID=15&FeedTitle=Category+Feed+%28-+Mathematics%2C+Physics+%26+Philosophy%29" title="Category Feed (ATOM)" /> <script type="text/javascript"> ( function($) { $(document).ready(function() { openid.init('openid_identifier',true); openid.setFormID('frmSignInOpenID'); }); }) (jQuery ); </script><script type="text/x-mathjax-config">MathJax.Hub.Config({TeX: {extensions: ["AMScd.js"]}});</script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/MathJax.js?config=MML_HTMLorMML-full"></script></head> <body id="DiscussionsPage" > <div id="SiteContainer"><div id="Session">Not signed in (<a href="/people.php?ReturnUrl=http%3A%2F%2Fnforum.ncatlab.org%2F15%2F">Sign In</a>)</div><div id="Header"> <a id="pgtop"></a> <h1> nForum </h1> <div id="TagLine">A discussion forum about contributions to the <a href="https://ncatlab.org/">nLab wiki</a> and related areas of mathematics, physics, and philosophy.</div><ul><li><a href="/extension.php?PostBackAction=HomeCat" >Home</a></li><li class="TabOn"><a href="/" >Discussions</a></li><li><a href="/categories.php" >Categories</a></li><li><a href="/search.php" >Search</a></li><li><a href="https://ncatlab.org/nlab/show/HomePage" >nLab</a></li><li><a href="https://ncatlab.org/nlabmeta/show/Welcome+to+the+nForum" >Help</a></li></ul> </div><div id="Body"><div id="Panel"><ul> <li> <h2>Category Feed</h2> <ul><li> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Page=1&Feed=RSS2&CategoryID=15&FeedTitle=Category+Feed+%28-+Mathematics%2C+Physics+%26+Philosophy%29" title="Subscribe to this feed..." class="RSS2">RSS2</a></li><li> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Page=1&Feed=ATOM&CategoryID=15&FeedTitle=Category+Feed+%28-+Mathematics%2C+Physics+%26+Philosophy%29" title="Subscribe to this feed..." class="ATOM">ATOM</a></li></ul> </li> </ul><div id="GuestSignIn"> <h2>Not signed in</h2> Want to take part in these discussions? Sign in if you have an account, or apply for one below <fieldset><form id="frmSignInUser" method="post" action="https://nforum.ncatlab.org/people/"> <div> <input name="PostBackAction" value="SignIn" type="hidden" /> <input name="ReturnUrl" value="http://nforum.ncatlab.org/15/" type="hidden" /> <ul> <li><label for="txtUsername">Username</label> <input id="txtUsername" name="Username" value="" class="Input" maxlength="20" type="text" /> </li> <li><label for="txtPassword">Password</label> <input id="txtPassword" name="Password" value="" class="Input" type="password" /> </li> <li id="RememberMe"><label for="RememberMeID"> <input name="RememberMe" value="1" id="RememberMeID" type="checkbox" checked="checked" /> Remember me</label> </li> <li> <input name="userSignIn" value="Sign In" class="Button" type="submit" /> </li> </ul> </div> </form> </fieldset> <fieldset><form id="frmSignInOpenID" method="post" action="https://nforum.ncatlab.org/people/"> <input name="PostBackAction" value="SignIn" type="hidden" /> <div> <ul> <li>Sign in using OpenID <div id="openid_choice"> <div id="openid_btns"></div> </div> <div id="openid_input_area"> <input id="openid_identifier" name="openid_identifier" type="text" value="http://" /> </div> </li> <li id="RememberMe"><label for="RememberMeID"> <input name="RememberMe" value="1" id="RememberMeID" type="checkbox" checked="checked" /> Remember me</label> </li> <li><input name="openidSignIn" value="Sign In" class="Button" type="submit" /></li> </ul> </div></form></fieldset> <ul class="MembershipOptionLinks"> <li class="ForgotPasswordLink"><a href="https://nforum.ncatlab.org/people/?PostBackAction=PasswordRequestForm">Forgot your password?</a></li> <li class="ApplyForMembershipLink"><a href="https://nforum.ncatlab.org/people/?PostBackAction=ApplyForm">Apply for membership</a></li> </ul></div><h2>Site Tag Cloud</h2><div id="TagCloud"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=2-category" class="TagLink">2-category</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=2-category-theory" class="TagLink">2-category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=abelian-categories" class="TagLink">abelian-categories</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=adjoint" class="TagLink">adjoint</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=algebra" class="TagLink">algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=algebraic" class="TagLink">algebraic</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=algebraic-geometry" class="TagLink">algebraic-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=algebraic-topology" class="TagLink">algebraic-topology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=analysis" class="TagLink">analysis</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=analytic-geometry" class="TagLink">analytic-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=arithmetic" class="TagLink">arithmetic</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=arithmetic-geometry" class="TagLink">arithmetic-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=book" class="TagLink">book</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=bundles" class="TagLink">bundles</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=calculus" class="TagLink">calculus</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=categorical" class="TagLink">categorical</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=categories" class="TagLink">categories</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=category" class="TagLink">category</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=category-theory" class="TagLink">category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=chern-weil-theory" class="TagLink">chern-weil-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=cohesion" class="TagLink">cohesion</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=cohesive-homotopy-type-theory" class="TagLink">cohesive-homotopy-type-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=cohomology" class="TagLink">cohomology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=colimits" class="TagLink">colimits</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=combinatorics" class="TagLink">combinatorics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=complex" class="TagLink">complex</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=complex-geometry" class="TagLink">complex-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=computable-mathematics" class="TagLink">computable-mathematics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=computer-science" class="TagLink">computer-science</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=constructive" class="TagLink">constructive</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=cosmology" class="TagLink">cosmology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=definitions" class="TagLink">definitions</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=deformation-theory" class="TagLink">deformation-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=descent" class="TagLink">descent</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=diagrams" class="TagLink">diagrams</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=differential" class="TagLink">differential</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=differential-cohomology" class="TagLink">differential-cohomology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=differential-equations" class="TagLink">differential-equations</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=differential-geometry" class="TagLink">differential-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=digraphs" class="TagLink">digraphs</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=duality" class="TagLink">duality</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=elliptic-cohomology" class="TagLink">elliptic-cohomology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=enriched" class="TagLink">enriched</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=fibration" class="TagLink">fibration</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=foundation" class="TagLink">foundation</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=foundations" class="TagLink">foundations</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=functional-analysis" class="TagLink">functional-analysis</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=functor" class="TagLink">functor</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=gauge-theory" class="TagLink">gauge-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=gebra" class="TagLink">gebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=geometric-quantization" class="TagLink">geometric-quantization</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=geometry" class="TagLink">geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=graph" class="TagLink">graph</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=graphs" class="TagLink">graphs</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=gravity" class="TagLink">gravity</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=grothendieck" class="TagLink">grothendieck</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=group" class="TagLink">group</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=group-theory" class="TagLink">group-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=harmonic-analysis" class="TagLink">harmonic-analysis</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher" class="TagLink">higher</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-algebra" class="TagLink">higher-algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-category-theory" class="TagLink">higher-category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-differential-geometry" class="TagLink">higher-differential-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-geometry" class="TagLink">higher-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-lie-theory" class="TagLink">higher-lie-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-topos-theory" class="TagLink">higher-topos-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homological" class="TagLink">homological</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homological-algebra" class="TagLink">homological-algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homotopy" class="TagLink">homotopy</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homotopy-theory" class="TagLink">homotopy-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homotopy-type-theory" class="TagLink">homotopy-type-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=index-theory" class="TagLink">index-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=integration" class="TagLink">integration</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=integration-theory" class="TagLink">integration-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=k-theory" class="TagLink">k-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=lie-theory" class="TagLink">lie-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=limits" class="TagLink">limits</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=linear" class="TagLink">linear</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=linear-algebra" class="TagLink">linear-algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=locale" class="TagLink">locale</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=localization" class="TagLink">localization</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=logic" class="TagLink">logic</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=mathematics" class="TagLink">mathematics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=measure-theory" class="TagLink">measure-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=modal" class="TagLink">modal</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=modal-logic" class="TagLink">modal-logic</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=model" class="TagLink">model</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=model-category-theory" class="TagLink">model-category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=monad" class="TagLink">monad</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=monads" class="TagLink">monads</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=monoidal" class="TagLink">monoidal</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=monoidal-category-theory" class="TagLink">monoidal-category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=morphism" class="TagLink">morphism</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=motives" class="TagLink">motives</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=motivic-cohomology" class="TagLink">motivic-cohomology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=nforum" class="TagLink">nforum</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=nlab" class="TagLink">nlab</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=noncommutative" class="TagLink">noncommutative</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=noncommutative-geometry" class="TagLink">noncommutative-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=number-theory" class="TagLink">number-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=of" class="TagLink">of</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=operads" class="TagLink">operads</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=operator" class="TagLink">operator</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=operator-algebra" class="TagLink">operator-algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=order-theory" class="TagLink">order-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=pages" class="TagLink">pages</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=pasting" class="TagLink">pasting</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=philosophy" class="TagLink">philosophy</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=physics" class="TagLink">physics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=pro-object" class="TagLink">pro-object</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=probability" class="TagLink">probability</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=probability-theory" class="TagLink">probability-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantization" class="TagLink">quantization</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum" class="TagLink">quantum</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-field" class="TagLink">quantum-field</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-field-theory" class="TagLink">quantum-field-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-mechanics" class="TagLink">quantum-mechanics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-physics" class="TagLink">quantum-physics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-theory" class="TagLink">quantum-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=question" class="TagLink">question</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=representation" class="TagLink">representation</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=representation-theory" class="TagLink">representation-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=riemannian-geometry" class="TagLink">riemannian-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=scheme" class="TagLink">scheme</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=schemes" class="TagLink">schemes</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=set" class="TagLink">set</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=set-theory" class="TagLink">set-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=sheaf" class="TagLink">sheaf</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=simplicial" class="TagLink">simplicial</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=space" class="TagLink">space</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=spin-geometry" class="TagLink">spin-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=stable-homotopy-theory" class="TagLink">stable-homotopy-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=stack" class="TagLink">stack</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=string" class="TagLink">string</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=string-theory" class="TagLink">string-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=superalgebra" class="TagLink">superalgebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=supergeometry" class="TagLink">supergeometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=svg" class="TagLink">svg</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=symplectic-geometry" class="TagLink">symplectic-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=synthetic-differential-geometry" class="TagLink">synthetic-differential-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=terminology" class="TagLink">terminology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=theory" class="TagLink">theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=topology" class="TagLink">topology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=topos" class="TagLink">topos</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=topos-theory" class="TagLink">topos-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=tqft" class="TagLink">tqft</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=type" class="TagLink">type</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=type-theory" class="TagLink">type-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=universal" class="TagLink">universal</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=variational-calculus" class="TagLink">variational-calculus</a></div><a href="http://getvanilla.com">Vanilla 1.1.10</a> is a product of <a href="http://lussumo.com">Lussumo</a>. More Information: <a href="http://lussumo.com/docs">Documentation</a>, <a href="http://lussumo.com/community">Community Support</a>.</div> <div id="Content"><div id="NoticeCollector" class="Notices"><div class="Notice">Welcome to nForum If you want to take part in these discussions either <a href="/people.php?ReturnUrl=http%3A%2F%2Fnforum.ncatlab.org%2F15%2F">sign in now</a> (if you have an account), <a href="https://nforum.ncatlab.org/people/?PostBackAction=ApplyForm">apply for one now</a> (if you don't).</div></div><div class="ContentInfo Top"> <h1> <a href="https://nforum.ncatlab.org/19/">Atrium</a> > Mathematics, Physics & Philosophy </h1> <a id="PageJump" href="https://nforum.ncatlab.org/discussions/">Show all</a> <div class="PageInfo"> 1 to 60 of 1339 <ol class="PageList"> <li><</li> <li class="CurrentPage">1</li> <li><a href="https://nforum.ncatlab.org/15/2/">2</a></li> <li><a href="https://nforum.ncatlab.org/15/3/">3</a></li> <li><a href="https://nforum.ncatlab.org/15/4/">4</a></li> <li><a href="https://nforum.ncatlab.org/15/5/">5</a></li> <li><a href="https://nforum.ncatlab.org/15/6/">6</a></li> <li><a href="https://nforum.ncatlab.org/15/7/">7</a></li> <li><a href="https://nforum.ncatlab.org/15/8/">8</a></li> <li>...</li> <li><a href="https://nforum.ncatlab.org/15/23/">23</a></li> <li><a href="https://nforum.ncatlab.org/15/2/">></a></li> </ol> </div> </div> <div id="ContentBody"> <ol id="Discussions"> <li id="Discussion_18941" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18941/tangent-and-double-categories/#Item_0">Tangent and double categories</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18941/tangent-and-double-categories/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionComments"> Comments 23 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18941/tangent-and-double-categories/#Item_23">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18941/tangent-and-double-categories/#Item_23">Last Active</a> Feb 20th 2025 </li></ul> </li> <li id="Discussion_18470" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18470/topological-charges-in-lattice-gauge-theory-via-group-stacks/#Item_0">topological charges in lattice gauge theory via group stacks</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18470/topological-charges-in-lattice-gauge-theory-via-group-stacks/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18470/topological-charges-in-lattice-gauge-theory-via-group-stacks/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18470/topological-charges-in-lattice-gauge-theory-via-group-stacks/#Item_4">Last Active</a> Feb 11th 2025 </li></ul> </li> <li id="Discussion_18748" class="Discussion Unread NewComments NoReplies Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18748/a-new-combinatorial-argument-for-irreducible-polynomials-over-gf2/#Item_0">A new combinatorial argument for irreducible polynomials over GF[2]</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18748/a-new-combinatorial-argument-for-irreducible-polynomials-over-gf2/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3665/">goggy</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18748/a-new-combinatorial-argument-for-irreducible-polynomials-over-gf2/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3665/">goggy</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18748/a-new-combinatorial-argument-for-irreducible-polynomials-over-gf2/#Item_1">Last Active</a> Dec 23rd 2024 </li></ul> </li> <li id="Discussion_18728" class="Discussion Unread NewComments NoReplies Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18728/differentiation-under-the-integral-sign/#Item_0">differentiation under the integral sign</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18728/differentiation-under-the-integral-sign/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3658/">dx</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18728/differentiation-under-the-integral-sign/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3658/">dx</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18728/differentiation-under-the-integral-sign/#Item_1">Last Active</a> Dec 15th 2024 </li></ul> </li> <li id="Discussion_18680" class="Discussion Unread NewComments NoReplies Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18680/model-of-linear-logic-in-hott/#Item_0">Model of linear logic in HoTT</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18680/model-of-linear-logic-in-hott/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18680/model-of-linear-logic-in-hott/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18680/model-of-linear-logic-in-hott/#Item_1">Last Active</a> Nov 20th 2024 </li></ul> </li> <li id="Discussion_18578" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18578/antiideal/#Item_0">anti-ideal</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18578/antiideal/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 7 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18578/antiideal/#Item_7">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18578/antiideal/#Item_7">Last Active</a> Oct 1st 2024 </li></ul> </li> <li id="Discussion_17304" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/17304/higher-topos-theory-in-physics/#Item_0">Higher Topos Theory in Physics</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/17304/higher-topos-theory-in-physics/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 11 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/17304/higher-topos-theory-in-physics/#Item_11">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/17304/higher-topos-theory-in-physics/#Item_11">Last Active</a> Sep 30th 2024 </li></ul> </li> <li id="Discussion_18406" class="Discussion Unread NewComments NoReplies Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18406/timeflow-formula-a-new-phyiscs-formula/#Item_0">Timeflow Formula (A New Phyiscs Formula).</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18406/timeflow-formula-a-new-phyiscs-formula/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3503/">Salih</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18406/timeflow-formula-a-new-phyiscs-formula/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3503/">Salih</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18406/timeflow-formula-a-new-phyiscs-formula/#Item_1">Last Active</a> Aug 18th 2024 </li></ul> </li> <li id="Discussion_18389" class="Discussion Unread NewComments NoReplies Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18389/we-have-toe-at-home/#Item_0">We have ToE at home</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18389/we-have-toe-at-home/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3599/">nos</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18389/we-have-toe-at-home/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3599/">nos</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18389/we-have-toe-at-home/#Item_1">Last Active</a> Aug 8th 2024 </li></ul> </li> <li id="Discussion_18371" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18371/a-recent-preprint-on-operations-with-restricted-arities/#Item_0">a recent preprint on operations with restricted arities</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18371/a-recent-preprint-on-operations-with-restricted-arities/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/710/">Karol Szumiło</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18371/a-recent-preprint-on-operations-with-restricted-arities/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/710/">Karol Szumiło</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18371/a-recent-preprint-on-operations-with-restricted-arities/#Item_4">Last Active</a> Aug 3rd 2024 </li></ul> </li> <li id="Discussion_18227" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18227/group-completion-of-configuration-spaces-of-points/#Item_0">group completion of configuration spaces of points</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18227/group-completion-of-configuration-spaces-of-points/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 30 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18227/group-completion-of-configuration-spaces-of-points/#Item_30">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18227/group-completion-of-configuration-spaces-of-points/#Item_30">Last Active</a> Jul 18th 2024 </li></ul> </li> <li id="Discussion_18224" class="Discussion Unread NewComments NoReplies Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/18224/please-vote-for-my-projects/#Item_0">Please, vote for my projects</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/18224/please-vote-for-my-projects/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3585/">victorporton</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/18224/please-vote-for-my-projects/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3585/">victorporton</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/18224/please-vote-for-my-projects/#Item_1">Last Active</a> Jul 7th 2024 </li></ul> </li> <li id="Discussion_13133" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/13133/understanding-preprint-topos-and-stacks-of-deep-neural-networks/#Item_0">Understanding preprint "Topos and Stacks of Deep Neural Networks"</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/13133/understanding-preprint-topos-and-stacks-of-deep-neural-networks/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionComments"> Comments 24 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/13133/understanding-preprint-topos-and-stacks-of-deep-neural-networks/#Item_24">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3552/">faezs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/13133/understanding-preprint-topos-and-stacks-of-deep-neural-networks/#Item_24">Last Active</a> May 12th 2024 </li></ul> </li> <li id="Discussion_6819" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/6819/category-theory-jokes-that-do-not-use-co/#Item_0">category theory jokes (that do not use "co")</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/6819/category-theory-jokes-that-do-not-use-co/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3/">Mike Shulman</a> </li> <li class="DiscussionComments"> Comments 10 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/6819/category-theory-jokes-that-do-not-use-co/#Item_10">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3214/">Samuel Adrian Antz</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/6819/category-theory-jokes-that-do-not-use-co/#Item_10">Last Active</a> Feb 17th 2024 </li></ul> </li> <li id="Discussion_17684" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/17684/algebraic-proof-of-godels-incompletness-theorem/#Item_0">Algebraic Proof Of Godels Incompletness Theorem</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/17684/algebraic-proof-of-godels-incompletness-theorem/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3481/">gorxyz</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/17684/algebraic-proof-of-godels-incompletness-theorem/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3481/">gorxyz</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/17684/algebraic-proof-of-godels-incompletness-theorem/#Item_3">Last Active</a> Jan 20th 2024 </li></ul> </li> <li id="Discussion_17634" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/17634/why-3-generations-of-fermions-a-topological-argument/#Item_0">Why 3 generations of fermions? - a topological argument</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/17634/why-3-generations-of-fermions-a-topological-argument/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/17/">John Baez</a> </li> <li class="DiscussionComments"> Comments 2 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/17634/why-3-generations-of-fermions-a-topological-argument/#Item_2">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/17634/why-3-generations-of-fermions-a-topological-argument/#Item_2">Last Active</a> Jan 5th 2024 </li></ul> </li> <li id="Discussion_17421" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/17421/random-surface/#Item_0">random surface</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/17421/random-surface/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionComments"> Comments 2 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/17421/random-surface/#Item_2">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/17421/random-surface/#Item_2">Last Active</a> Nov 17th 2023 </li></ul> </li> <li id="Discussion_5941" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/5941/higher-differentials-again/#Item_0">Higher differentials, again</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/5941/higher-differentials-again/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3/">Mike Shulman</a> </li> <li class="DiscussionComments"> Comments 66 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/5941/higher-differentials-again/#Item_66">Last comment by</a> <a href="https://nforum.ncatlab.org/account/7/">TobyBartels</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/5941/higher-differentials-again/#Item_66">Last Active</a> Nov 16th 2023 </li></ul> </li> <li id="Discussion_17359" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/17359/fractured-structure/#Item_0">Fractured structure</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/17359/fractured-structure/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionComments"> Comments 2 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/17359/fractured-structure/#Item_2">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/17359/fractured-structure/#Item_2">Last Active</a> Oct 28th 2023 </li></ul> </li> <li id="Discussion_17243" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/17243/understanding-book-modal-homotopy-type-theory/#Item_0">Understanding book "Modal Homotopy Type Theory"</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/17243/understanding-book-modal-homotopy-type-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3430/">Tim Johns</a> </li> <li class="DiscussionComments"> Comments 8 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/17243/understanding-book-modal-homotopy-type-theory/#Item_8">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/17243/understanding-book-modal-homotopy-type-theory/#Item_8">Last Active</a> Oct 4th 2023 </li></ul> </li> <li id="Discussion_17222" class="Discussion Unread NewComments NoReplies Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/17222/octionionic-kahler-in-bergers-thm/#Item_0">Octionionic Kahler in Berger's thm</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/17222/octionionic-kahler-in-bergers-thm/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/17222/octionionic-kahler-in-bergers-thm/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/17222/octionionic-kahler-in-bergers-thm/#Item_1">Last Active</a> Sep 26th 2023 </li></ul> </li> <li id="Discussion_4047" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4047/cybernetics-and-homotopy-theorycategory-theory/#Item_0">Cybernetics and Homotopy Theory/Category Theory</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4047/cybernetics-and-homotopy-theorycategory-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/575/">Jon Beardsley</a> </li> <li class="DiscussionComments"> Comments 25 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4047/cybernetics-and-homotopy-theorycategory-theory/#Item_25">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4047/cybernetics-and-homotopy-theorycategory-theory/#Item_25">Last Active</a> Aug 20th 2023 </li></ul> </li> <li id="Discussion_16921" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16921/is-there-category-of-hott-theories-category-of-category-of-contexts/#Item_0">Is there category of HoTT theories (category of category of contexts)?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16921/is-there-category-of-hott-theories-category-of-category-of-contexts/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionComments"> Comments 2 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16921/is-there-category-of-hott-theories-category-of-category-of-contexts/#Item_2">Last comment by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16921/is-there-category-of-hott-theories-category-of-category-of-contexts/#Item_2">Last Active</a> Jul 25th 2023 </li></ul> </li> <li id="Discussion_16917" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16917/page-contrasting-structures-defined-by-exception-vs-universal-rules/#Item_0">Page contrasting structures defined by exception vs universal rules</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16917/page-contrasting-structures-defined-by-exception-vs-universal-rules/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/2913/">alexchandel</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16917/page-contrasting-structures-defined-by-exception-vs-universal-rules/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/1534/">maxsnew</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16917/page-contrasting-structures-defined-by-exception-vs-universal-rules/#Item_4">Last Active</a> Jul 24th 2023 </li></ul> </li> <li id="Discussion_12390" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/12390/hegelian-philosophy-and-foundations/#Item_0">Hegelian philosophy and foundations</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/12390/hegelian-philosophy-and-foundations/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/2706/">Korman</a> </li> <li class="DiscussionComments"> Comments 8 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/12390/hegelian-philosophy-and-foundations/#Item_8">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3394/">Kori</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/12390/hegelian-philosophy-and-foundations/#Item_8">Last Active</a> Jul 12th 2023 </li></ul> </li> <li id="Discussion_9832" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/9832/twisted-cohomotopy-implies-mtheory-anomaly-cancellation/#Item_0">"Twisted Cohomotopy implies M-theory anomaly cancellation"</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/9832/twisted-cohomotopy-implies-mtheory-anomaly-cancellation/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 167 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/9832/2/twisted-cohomotopy-implies-mtheory-anomaly-cancellation/#Item_67">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/9832/2/twisted-cohomotopy-implies-mtheory-anomaly-cancellation/#Item_67">Last Active</a> Jul 5th 2023 </li></ul> </li> <li id="Discussion_16747" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16747/freyds-algebraic-real-analysis-scale-and-linear-order/#Item_0">Freyd's algebraic real analysis, scale and linear order</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16747/freyds-algebraic-real-analysis-scale-and-linear-order/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3385/">Jeela</a> </li> <li class="DiscussionComments"> Comments 2 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16747/freyds-algebraic-real-analysis-scale-and-linear-order/#Item_2">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3385/">Jeela</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16747/freyds-algebraic-real-analysis-scale-and-linear-order/#Item_2">Last Active</a> Jun 29th 2023 </li></ul> </li> <li id="Discussion_16683" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16683/topological-invariants-of-the-nerve-of-cat-of-contexts-for-hott-theory/#Item_0">Topological invariants of the nerve of cat of contexts for HoTT theory?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16683/topological-invariants-of-the-nerve-of-cat-of-contexts-for-hott-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16683/topological-invariants-of-the-nerve-of-cat-of-contexts-for-hott-theory/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16683/topological-invariants-of-the-nerve-of-cat-of-contexts-for-hott-theory/#Item_3">Last Active</a> Jun 22nd 2023 </li></ul> </li> <li id="Discussion_16295" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16295/freedman-hastings-question/#Item_0">Freedman & Hastings question</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16295/freedman-hastings-question/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 9 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16295/freedman-hastings-question/#Item_9">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16295/freedman-hastings-question/#Item_9">Last Active</a> Jun 8th 2023 </li></ul> </li> <li id="Discussion_16511" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16511/connes-on-the-unconscious/#Item_0">Connes on the unconscious</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16511/connes-on-the-unconscious/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionComments"> Comments 6 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16511/connes-on-the-unconscious/#Item_6">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16511/connes-on-the-unconscious/#Item_6">Last Active</a> May 19th 2023 </li></ul> </li> <li id="Discussion_16499" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16499/doing-reverse-mathematics-like-research-in-category-theory-any-references/#Item_0">Doing reverse mathematics like research in category theory - any references?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16499/doing-reverse-mathematics-like-research-in-category-theory-any-references/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16499/doing-reverse-mathematics-like-research-in-category-theory-any-references/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/42/">DavidRoberts</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16499/doing-reverse-mathematics-like-research-in-category-theory-any-references/#Item_3">Last Active</a> May 14th 2023 </li></ul> </li> <li id="Discussion_16349" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16349/algebraization-of-higher-order-logic-trying-to-extend-rosetta-alggeo-dualities-to-hol/#Item_0">Algebraization of Higher Order Logic. Trying to extend Rosetta, alg-geo dualities to HOL.</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16349/algebraization-of-higher-order-logic-trying-to-extend-rosetta-alggeo-dualities-to-hol/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16349/algebraization-of-higher-order-logic-trying-to-extend-rosetta-alggeo-dualities-to-hol/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16349/algebraization-of-higher-order-logic-trying-to-extend-rosetta-alggeo-dualities-to-hol/#Item_3">Last Active</a> Apr 17th 2023 </li></ul> </li> <li id="Discussion_3739" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/3739/may-recognition-theorem/#Item_0">May recognition theorem</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/3739/may-recognition-theorem/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/37/">domenico_fiorenza</a> </li> <li class="DiscussionComments"> Comments 12 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/3739/may-recognition-theorem/#Item_12">Last comment by</a> <a href="https://nforum.ncatlab.org/account/356/">Dmitri Pavlov</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/3739/may-recognition-theorem/#Item_12">Last Active</a> Mar 26th 2023 </li></ul> </li> <li id="Discussion_16056" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/16056/topological-quantum-gates-in-homotopy-type-theory/#Item_0">"Topological Quantum Gates in Homotopy Type Theory"</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/16056/topological-quantum-gates-in-homotopy-type-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 16 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/16056/topological-quantum-gates-in-homotopy-type-theory/#Item_16">Last comment by</a> <a href="https://nforum.ncatlab.org/account/42/">DavidRoberts</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/16056/topological-quantum-gates-in-homotopy-type-theory/#Item_16">Last Active</a> Mar 21st 2023 </li></ul> </li> <li id="Discussion_4785" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4785/survey-higher-geometric-prequantum-theory/#Item_0">Survey: Higher Geometric Prequantum Theory</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4785/survey-higher-geometric-prequantum-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 20 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4785/survey-higher-geometric-prequantum-theory/#Item_20">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4785/survey-higher-geometric-prequantum-theory/#Item_20">Last Active</a> Feb 22nd 2023 </li></ul> </li> <li id="Discussion_15977" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/15977/tqft-on-orbifolds/#Item_0">(T)QFT on orbifolds?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/15977/tqft-on-orbifolds/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/15977/tqft-on-orbifolds/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/15977/tqft-on-orbifolds/#Item_3">Last Active</a> Feb 10th 2023 </li></ul> </li> <li id="Discussion_15862" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/15862/what-is-denoted-by-operator-boldb-in-differential-cohomology-in-a-cohesive-topos/#Item_0">What is denoted by operator bold-B in "Differential cohomology in a cohesive ∞-topos"</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/15862/what-is-denoted-by-operator-boldb-in-differential-cohomology-in-a-cohesive-topos/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/15862/what-is-denoted-by-operator-boldb-in-differential-cohomology-in-a-cohesive-topos/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/15862/what-is-denoted-by-operator-boldb-in-differential-cohomology-in-a-cohesive-topos/#Item_4">Last Active</a> Jan 14th 2023 </li></ul> </li> <li id="Discussion_15606" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/15606/e8-heterotic-string-from-cartan/#Item_0">E8 heterotic string from Cartan</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/15606/e8-heterotic-string-from-cartan/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionComments"> Comments 2 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/15606/e8-heterotic-string-from-cartan/#Item_2">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/15606/e8-heterotic-string-from-cartan/#Item_2">Last Active</a> Dec 5th 2022 </li></ul> </li> <li id="Discussion_12818" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/12818/fundamental-weight-systems-are-quantum-states/#Item_0">"Fundamental weight systems are quantum states"</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/12818/fundamental-weight-systems-are-quantum-states/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 8 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/12818/fundamental-weight-systems-are-quantum-states/#Item_8">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/12818/fundamental-weight-systems-are-quantum-states/#Item_8">Last Active</a> Nov 16th 2022 </li></ul> </li> <li id="Discussion_15389" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/15389/topos-theory-books/#Item_0">Topos Theory Books</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/15389/topos-theory-books/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3283/">Nonsensei</a> </li> <li class="DiscussionComments"> Comments 5 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/15389/topos-theory-books/#Item_5">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3283/">Nonsensei</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/15389/topos-theory-books/#Item_5">Last Active</a> Nov 14th 2022 </li></ul> </li> <li id="Discussion_15450" class="Discussion Unread NewComments NoReplies Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/15450/russian-philosophical-conference/#Item_0">Russian Philosophical Conference</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/15450/russian-philosophical-conference/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3285/">alexey</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/15450/russian-philosophical-conference/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3285/">alexey</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/15450/russian-philosophical-conference/#Item_1">Last Active</a> Nov 12th 2022 </li></ul> </li> <li id="Discussion_12899" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/12899/quantum-computational-trilogy/#Item_0">Quantum Computational Trilogy</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/12899/quantum-computational-trilogy/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 10 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/12899/quantum-computational-trilogy/#Item_10">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/12899/quantum-computational-trilogy/#Item_10">Last Active</a> Oct 31st 2022 </li></ul> </li> <li id="Discussion_15128" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/15128/infinitylocal-systems/#Item_0">"infinity-local systems"</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/15128/infinitylocal-systems/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/15128/infinitylocal-systems/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/6/">Tim_Porter</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/15128/infinitylocal-systems/#Item_4">Last Active</a> Sep 20th 2022 </li></ul> </li> <li id="Discussion_3116" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/3116/locally-small-category/#Item_0">locally small category</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/3116/locally-small-category/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/24/">Todd_Trimble</a> </li> <li class="DiscussionComments"> Comments 34 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/3116/locally-small-category/#Item_34">Last comment by</a> <a href="https://nforum.ncatlab.org/account/10/">zskoda</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/3116/locally-small-category/#Item_34">Last Active</a> Aug 31st 2022 </li></ul> </li> <li id="Discussion_6036" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/6036/unstable-knhomotopy-theory/#Item_0">unstable K(n)-homotopy theory</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/6036/unstable-knhomotopy-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 2 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/6036/unstable-knhomotopy-theory/#Item_2">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/6036/unstable-knhomotopy-theory/#Item_2">Last Active</a> Aug 30th 2022 </li></ul> </li> <li id="Discussion_15017" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/15017/programmable-computations-and-type-families/#Item_0">"programmable computations" and type families</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/15017/programmable-computations-and-type-families/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 12 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/15017/programmable-computations-and-type-families/#Item_12">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/15017/programmable-computations-and-type-families/#Item_12">Last Active</a> Aug 29th 2022 </li></ul> </li> <li id="Discussion_5583" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/5583/typesemantics-for-quantization/#Item_0">Type-semantics for quantization</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/5583/typesemantics-for-quantization/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionComments"> Comments 112 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/5583/2/typesemantics-for-quantization/#Item_12">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/5583/2/typesemantics-for-quantization/#Item_12">Last Active</a> Aug 23rd 2022 </li></ul> </li> <li id="Discussion_12920" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/12920/cayley-mixture/#Item_0">Cayley mixture</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/12920/cayley-mixture/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 118 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/12920/2/cayley-mixture/#Item_18">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/12920/2/cayley-mixture/#Item_18">Last Active</a> Aug 11th 2022 </li></ul> </li> <li id="Discussion_6816" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/6816/the-shape-of-function-objects/#Item_0">The shape of function objects</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/6816/the-shape-of-function-objects/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/442/">Charles Rezk</a> </li> <li class="DiscussionComments"> Comments 5 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/6816/the-shape-of-function-objects/#Item_5">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/6816/the-shape-of-function-objects/#Item_5">Last Active</a> Aug 9th 2022 </li></ul> </li> <li id="Discussion_14764" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14764/strings-2022/#Item_0">Strings 2022</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14764/strings-2022/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3189/">Madeleine Birchfield</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14764/strings-2022/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3189/">Madeleine Birchfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14764/strings-2022/#Item_3">Last Active</a> Jul 20th 2022 </li></ul> </li> <li id="Discussion_14749" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14749/proof-of-coend-formula-for-kan-extensions/#Item_0">proof of coend formula for Kan extensions</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14749/proof-of-coend-formula-for-kan-extensions/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/205/">Yaron</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14749/proof-of-coend-formula-for-kan-extensions/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/205/">Yaron</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14749/proof-of-coend-formula-for-kan-extensions/#Item_3">Last Active</a> Jul 9th 2022 </li></ul> </li> <li id="Discussion_14711" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14711/plus-construction/#Item_0">Plus construction</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14711/plus-construction/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/2389/">Zhen Huan</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14711/plus-construction/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/2389/">Zhen Huan</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14711/plus-construction/#Item_3">Last Active</a> Jun 30th 2022 </li></ul> </li> <li id="Discussion_14107" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14107/bibitem-conventions/#Item_0">bibitem conventions</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14107/bibitem-conventions/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14107/bibitem-conventions/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14107/bibitem-conventions/#Item_3">Last Active</a> Jun 26th 2022 </li></ul> </li> <li id="Discussion_14651" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14651/anyonic-topological-order-in-ted-ktheory/#Item_0">Anyonic topological order in TED K-theory</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14651/anyonic-topological-order-in-ted-ktheory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 9 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14651/anyonic-topological-order-in-ted-ktheory/#Item_9">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14651/anyonic-topological-order-in-ted-ktheory/#Item_9">Last Active</a> Jun 25th 2022 </li></ul> </li> <li id="Discussion_14414" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14414/generalized-cohomology-as-sheaf-cohomology/#Item_0">Generalized cohomology as sheaf cohomology?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14414/generalized-cohomology-as-sheaf-cohomology/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/2308/">jin</a> </li> <li class="DiscussionComments"> Comments 6 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14414/generalized-cohomology-as-sheaf-cohomology/#Item_6">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14414/generalized-cohomology-as-sheaf-cohomology/#Item_6">Last Active</a> Jun 18th 2022 </li></ul> </li> <li id="Discussion_14618" class="Discussion Unread NewComments NoReplies Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14618/statistic-inference-as-gauge-theory/#Item_0">statistic inference as gauge theory</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14618/statistic-inference-as-gauge-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14618/statistic-inference-as-gauge-theory/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14618/statistic-inference-as-gauge-theory/#Item_1">Last Active</a> Jun 12th 2022 </li></ul> </li> <li id="Discussion_14564" class="Discussion Unread NewComments NoReplies Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14564/topological-ktheory-in-hott/#Item_0">Topological K-theory in HoTT?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14564/topological-ktheory-in-hott/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14564/topological-ktheory-in-hott/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14564/topological-ktheory-in-hott/#Item_1">Last Active</a> Jun 9th 2022 </li></ul> </li> <li id="Discussion_14372" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14372/hegel-in-mathematics/#Item_0">Hegel in Mathematics</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14372/hegel-in-mathematics/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/1759/">Alexander Praehauser</a> </li> <li class="DiscussionComments"> Comments 24 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14372/hegel-in-mathematics/#Item_24">Last comment by</a> <a href="https://nforum.ncatlab.org/account/1759/">Alexander Praehauser</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14372/hegel-in-mathematics/#Item_24">Last Active</a> Jun 4th 2022 </li></ul> </li> <li id="Discussion_14370" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/14370/descent-data-with-values-in-the-bigroupoid-of-bundle-gerbes-with-connection-and-curving/#Item_0">Descent data with values in the bigroupoid of bundle gerbes with connection and curving</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/14370/descent-data-with-values-in-the-bigroupoid-of-bundle-gerbes-with-connection-and-curving/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/42/">DavidRoberts</a> </li> <li class="DiscussionComments"> Comments 5 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/14370/descent-data-with-values-in-the-bigroupoid-of-bundle-gerbes-with-connection-and-curving/#Item_5">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/14370/descent-data-with-values-in-the-bigroupoid-of-bundle-gerbes-with-connection-and-curving/#Item_5">Last Active</a> May 27th 2022 </li></ul> </li> <li id="Discussion_10411" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/10411/philosophy-of-concepts-can-it-be-gradually-expressed-in-type-theory-taming-the-complexity/#Item_0">Philosophy of concepts - can it be (gradually) expressed in type theory? Taming the complexity?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/10411/philosophy-of-concepts-can-it-be-gradually-expressed-in-type-theory-taming-the-complexity/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/909/">tomr</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/10411/philosophy-of-concepts-can-it-be-gradually-expressed-in-type-theory-taming-the-complexity/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3205/">philophronesis</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/10411/philosophy-of-concepts-can-it-be-gradually-expressed-in-type-theory-taming-the-complexity/#Item_4">Last Active</a> May 19th 2022 </li></ul> </li> </ol> </div><div class="ContentInfo Bottom"> <div class="PageInfo"> 1 to 60 of 1339 <ol class="PageList"> <li><</li> <li class="CurrentPage">1</li> <li><a href="https://nforum.ncatlab.org/15/2/">2</a></li> <li><a href="https://nforum.ncatlab.org/15/3/">3</a></li> <li><a href="https://nforum.ncatlab.org/15/4/">4</a></li> <li><a href="https://nforum.ncatlab.org/15/5/">5</a></li> <li><a href="https://nforum.ncatlab.org/15/6/">6</a></li> <li><a href="https://nforum.ncatlab.org/15/7/">7</a></li> <li><a href="https://nforum.ncatlab.org/15/8/">8</a></li> <li>...</li> <li><a href="https://nforum.ncatlab.org/15/23/">23</a></li> <li><a href="https://nforum.ncatlab.org/15/2/">></a></li> </ol> </div> <a id="TopOfPage" href="http://nforum.ncatlab.org/15/#pgtop">Top of Page</a> </div></div> <a id="pgbottom" > </a> </div> </div></body> </html>