CINXE.COM

nForum - All Discussions

<!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 - All Discussions</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&amp;Type=Topics&amp;Page=1&amp;Feed=RSS2&amp;FeedTitle=All+Discussions+Feed" title="All Discussions Feed (RSS2)" /> <link rel="alternate" type="application/atom+xml" href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Page=1&amp;Feed=ATOM&amp;FeedTitle=All+Discussions+Feed" title="All Discussions Feed (ATOM)" /> <link rel="alternate" type="application/rss+xml" href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Comments&amp;Page=1&amp;Feed=RSS2&amp;FeedTitle=All+Comments+Feed" title="All Comments Feed (RSS2)" /> <link rel="alternate" type="application/atom+xml" href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Comments&amp;Page=1&amp;Feed=ATOM&amp;FeedTitle=All+Comments+Feed" title="All Comments 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%2F">Sign In</a>)</div><div id="Header"> <a id="pgtop"></a> <span id="logo"></span> <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>All Discussions Feed</h2> <ul><li> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Page=1&amp;Feed=RSS2&amp;FeedTitle=All+Discussions+Feed" title="Subscribe to this feed..." class="RSS2">RSS2</a></li><li> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Page=1&amp;Feed=ATOM&amp;FeedTitle=All+Discussions+Feed" title="Subscribe to this feed..." class="ATOM">ATOM</a></li></ul> </li> </ul><ul> <li> <h2>All Comments Feed</h2> <ul><li> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Comments&amp;Page=1&amp;Feed=RSS2&amp;FeedTitle=All+Comments+Feed" title="Subscribe to this feed..." class="RSS2">RSS2</a></li><li> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Comments&amp;Page=1&amp;Feed=ATOM&amp;FeedTitle=All+Comments+Feed" title="Subscribe to this feed..." class="ATOM">ATOM</a></li></ul> </li> </ul><div id="GuestSignIn"> <h2>Not signed in</h2> <p>Want to take part in these discussions? Sign in if you have an account, or apply for one below</p> <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/" 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"><span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=2-category" class="TagLink">2-category</a></span> <span style="font-size:57%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=2-category-theory" class="TagLink">2-category-theory</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=abelian-categories" class="TagLink">abelian-categories</a></span> <span style="font-size:57%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=adjoint" class="TagLink">adjoint</a></span> <span style="font-size:162%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=algebra" class="TagLink">algebra</a></span> <span style="font-size:57%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=algebraic" class="TagLink">algebraic</a></span> <span style="font-size:70%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=algebraic-geometry" class="TagLink">algebraic-geometry</a></span> <span style="font-size:60%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=algebraic-topology" class="TagLink">algebraic-topology</a></span> <span style="font-size:77%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=analysis" class="TagLink">analysis</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=analytic-geometry" class="TagLink">analytic-geometry</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=arithmetic" class="TagLink">arithmetic</a></span> <span style="font-size:71%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=arithmetic-geometry" class="TagLink">arithmetic-geometry</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=book" class="TagLink">book</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=bundles" class="TagLink">bundles</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=calculus" class="TagLink">calculus</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=categorical" class="TagLink">categorical</a></span> <span style="font-size:62%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=categories" class="TagLink">categories</a></span> <span style="font-size:85%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=category" class="TagLink">category</a></span> <span style="font-size:181%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=category-theory" class="TagLink">category-theory</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=chern-weil-theory" class="TagLink">chern-weil-theory</a></span> <span style="font-size:80%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=cohesion" class="TagLink">cohesion</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=cohesive-homotopy-type-theory" class="TagLink">cohesive-homotopy-type-theory</a></span> <span style="font-size:185%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=cohomology" class="TagLink">cohomology</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=colimits" class="TagLink">colimits</a></span> <span style="font-size:58%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=combinatorics" class="TagLink">combinatorics</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=complex" class="TagLink">complex</a></span> <span style="font-size:83%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=complex-geometry" class="TagLink">complex-geometry</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=computable-mathematics" class="TagLink">computable-mathematics</a></span> <span style="font-size:57%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=computer-science" class="TagLink">computer-science</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=constructive" class="TagLink">constructive</a></span> <span style="font-size:57%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=cosmology" class="TagLink">cosmology</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=definitions" class="TagLink">definitions</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=deformation-theory" class="TagLink">deformation-theory</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=descent" class="TagLink">descent</a></span> <span style="font-size:57%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=diagrams" class="TagLink">diagrams</a></span> <span style="font-size:60%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=differential" class="TagLink">differential</a></span> <span style="font-size:71%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=differential-cohomology" class="TagLink">differential-cohomology</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=differential-equations" class="TagLink">differential-equations</a></span> <span style="font-size:138%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=differential-geometry" class="TagLink">differential-geometry</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=digraphs" class="TagLink">digraphs</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=duality" class="TagLink">duality</a></span> <span style="font-size:57%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=elliptic-cohomology" class="TagLink">elliptic-cohomology</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=enriched" class="TagLink">enriched</a></span> <span style="font-size:58%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=fibration" class="TagLink">fibration</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=foundation" class="TagLink">foundation</a></span> <span style="font-size:82%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=foundations" class="TagLink">foundations</a></span> <span style="font-size:76%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=functional-analysis" class="TagLink">functional-analysis</a></span> <span style="font-size:59%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=functor" class="TagLink">functor</a></span> <span style="font-size:60%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=gauge-theory" class="TagLink">gauge-theory</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=gebra" class="TagLink">gebra</a></span> <span style="font-size:58%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=geometric-quantization" class="TagLink">geometric-quantization</a></span> <span style="font-size:176%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=geometry" class="TagLink">geometry</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=graph" class="TagLink">graph</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=graphs" class="TagLink">graphs</a></span> <span style="font-size:72%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=gravity" class="TagLink">gravity</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=grothendieck" class="TagLink">grothendieck</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=group" class="TagLink">group</a></span> <span style="font-size:101%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=group-theory" class="TagLink">group-theory</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=harmonic-analysis" class="TagLink">harmonic-analysis</a></span> <span style="font-size:60%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=higher" class="TagLink">higher</a></span> <span style="font-size:126%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=higher-algebra" class="TagLink">higher-algebra</a></span> <span style="font-size:119%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=higher-category-theory" class="TagLink">higher-category-theory</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=higher-differential-geometry" class="TagLink">higher-differential-geometry</a></span> <span style="font-size:123%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=higher-geometry" class="TagLink">higher-geometry</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=higher-lie-theory" class="TagLink">higher-lie-theory</a></span> <span style="font-size:82%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=higher-topos-theory" class="TagLink">higher-topos-theory</a></span> <span style="font-size:58%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=homological" class="TagLink">homological</a></span> <span style="font-size:87%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=homological-algebra" class="TagLink">homological-algebra</a></span> <span style="font-size:62%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=homotopy" class="TagLink">homotopy</a></span> <span style="font-size:170%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=homotopy-theory" class="TagLink">homotopy-theory</a></span> <span style="font-size:77%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=homotopy-type-theory" class="TagLink">homotopy-type-theory</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=index-theory" class="TagLink">index-theory</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=integration" class="TagLink">integration</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=integration-theory" class="TagLink">integration-theory</a></span> <span style="font-size:57%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=k-theory" class="TagLink">k-theory</a></span> <span style="font-size:90%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=lie-theory" class="TagLink">lie-theory</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=limits" class="TagLink">limits</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=linear" class="TagLink">linear</a></span> <span style="font-size:65%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=linear-algebra" class="TagLink">linear-algebra</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=locale" class="TagLink">locale</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=localization" class="TagLink">localization</a></span> <span style="font-size:102%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=logic" class="TagLink">logic</a></span> <span style="font-size:59%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=mathematics" class="TagLink">mathematics</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=measure-theory" class="TagLink">measure-theory</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=modal" class="TagLink">modal</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=modal-logic" class="TagLink">modal-logic</a></span> <span style="font-size:60%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=model" class="TagLink">model</a></span> <span style="font-size:68%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=model-category-theory" class="TagLink">model-category-theory</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=monad" class="TagLink">monad</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=monads" class="TagLink">monads</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=monoidal" class="TagLink">monoidal</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=monoidal-category-theory" class="TagLink">monoidal-category-theory</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=morphism" class="TagLink">morphism</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=motives" class="TagLink">motives</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=motivic-cohomology" class="TagLink">motivic-cohomology</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=nforum" class="TagLink">nforum</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=nlab" class="TagLink">nlab</a></span> <span style="font-size:58%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=noncommutative" class="TagLink">noncommutative</a></span> <span style="font-size:58%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=noncommutative-geometry" class="TagLink">noncommutative-geometry</a></span> <span style="font-size:61%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=number-theory" class="TagLink">number-theory</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=of" class="TagLink">of</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=operads" class="TagLink">operads</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=operator" class="TagLink">operator</a></span> <span style="font-size:67%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=operator-algebra" class="TagLink">operator-algebra</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=order-theory" class="TagLink">order-theory</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=pages" class="TagLink">pages</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=pasting" class="TagLink">pasting</a></span> <span style="font-size:70%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=philosophy" class="TagLink">philosophy</a></span> <span style="font-size:200%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=physics" class="TagLink">physics</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=pro-object" class="TagLink">pro-object</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=probability" class="TagLink">probability</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=probability-theory" class="TagLink">probability-theory</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=quantization" class="TagLink">quantization</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=quantum" class="TagLink">quantum</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=quantum-field" class="TagLink">quantum-field</a></span> <span style="font-size:162%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=quantum-field-theory" class="TagLink">quantum-field-theory</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=quantum-mechanics" class="TagLink">quantum-mechanics</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=quantum-physics" class="TagLink">quantum-physics</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=quantum-theory" class="TagLink">quantum-theory</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=question" class="TagLink">question</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=representation" class="TagLink">representation</a></span> <span style="font-size:86%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=representation-theory" class="TagLink">representation-theory</a></span> <span style="font-size:66%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=riemannian-geometry" class="TagLink">riemannian-geometry</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=scheme" class="TagLink">scheme</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=schemes" class="TagLink">schemes</a></span> <span style="font-size:59%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=set" class="TagLink">set</a></span> <span style="font-size:62%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=set-theory" class="TagLink">set-theory</a></span> <span style="font-size:55%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=sheaf" class="TagLink">sheaf</a></span> <span style="font-size:59%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=simplicial" class="TagLink">simplicial</a></span> <span style="font-size:56%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=space" class="TagLink">space</a></span> <span style="font-size:61%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=spin-geometry" class="TagLink">spin-geometry</a></span> <span style="font-size:122%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=stable-homotopy-theory" class="TagLink">stable-homotopy-theory</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=stack" class="TagLink">stack</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=string" class="TagLink">string</a></span> <span style="font-size:104%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=string-theory" class="TagLink">string-theory</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=superalgebra" class="TagLink">superalgebra</a></span> <span style="font-size:76%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=supergeometry" class="TagLink">supergeometry</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=svg" class="TagLink">svg</a></span> <span style="font-size:76%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=symplectic-geometry" class="TagLink">symplectic-geometry</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=synthetic-differential-geometry" class="TagLink">synthetic-differential-geometry</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=terminology" class="TagLink">terminology</a></span> <span style="font-size:101%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=theory" class="TagLink">theory</a></span> <span style="font-size:137%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=topology" class="TagLink">topology</a></span> <span style="font-size:71%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=topos" class="TagLink">topos</a></span> <span style="font-size:89%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=topos-theory" class="TagLink">topos-theory</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=tqft" class="TagLink">tqft</a></span> <span style="font-size:58%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=type" class="TagLink">type</a></span> <span style="font-size:118%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=type-theory" class="TagLink">type-theory</a></span> <span style="font-size:54%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=universal" class="TagLink">universal</a></span> <span style="font-size:53%"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&amp;Type=Topics&amp;Tag=variational-calculus" class="TagLink">variational-calculus</a></span></div><p id="AboutVanilla"><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>.</p></div> <div id="Content"><div id="NoticeCollector" class="Notices"><div class="Notice"><strong>Welcome to nForum</strong> <br />If you want to take part in these discussions either <a href="/people.php?ReturnUrl=http%3A%2F%2Fnforum.ncatlab.org%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> All Discussions </h1> <div class="PageInfo"> <p>1 to 60 of 18401</p> <ol class="PageList"> <li>&#60;</li> <li class="CurrentPage">1</li> <li><a href="https://nforum.ncatlab.org/discussions/2/">2</a></li> <li><a href="https://nforum.ncatlab.org/discussions/3/">3</a></li> <li><a href="https://nforum.ncatlab.org/discussions/4/">4</a></li> <li><a href="https://nforum.ncatlab.org/discussions/5/">5</a></li> <li><a href="https://nforum.ncatlab.org/discussions/6/">6</a></li> <li><a href="https://nforum.ncatlab.org/discussions/7/">7</a></li> <li><a href="https://nforum.ncatlab.org/discussions/8/">8</a></li> <li>...</li> <li><a href="https://nforum.ncatlab.org/discussions/307/">307</a></li> <li><a href="https://nforum.ncatlab.org/discussions/2/">&#62;</a></li> </ol> </div> </div> <div id="ContentBody"> <ol id="Discussions"> <li id="Discussion_19019" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19019/examples-of-graded-differential-cohesive-infinity1toposes/#Item_0">Examples of graded differential cohesive (infinity,1)-toposes</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/15/">Mathematics, Physics &amp; Philosophy</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19019/examples-of-graded-differential-cohesive-infinity1toposes/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/3189/">Madeleine Birchfield</a> </li> <li class="DiscussionComments"> <span>Comments </span>2 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19019/examples-of-graded-differential-cohesive-infinity1toposes/#Item_2">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19019/examples-of-graded-differential-cohesive-infinity1toposes/#Item_2">Last Active</a> </span>4 hours ago </li></ul> </li> <li id="Discussion_19018" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19018/applications-of-graded-differential-cohesion-to-nonsupersymmetric-quantum-field-theories/#Item_0">Applications of graded differential cohesion to non-supersymmetric quantum field theories</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/15/">Mathematics, Physics &amp; Philosophy</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19018/applications-of-graded-differential-cohesion-to-nonsupersymmetric-quantum-field-theories/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/3189/">Madeleine Birchfield</a> </li> <li class="DiscussionComments"> <span>Comments </span>3 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19018/applications-of-graded-differential-cohesion-to-nonsupersymmetric-quantum-field-theories/#Item_3">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19018/applications-of-graded-differential-cohesion-to-nonsupersymmetric-quantum-field-theories/#Item_3">Last Active</a> </span>4 hours ago </li></ul> </li> <li id="Discussion_9631" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/9631/species/#Item_0">species</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/9631/species/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionComments"> <span>Comments </span>6 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/9631/species/#Item_6">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/9631/species/#Item_6">Last Active</a> </span>9 hours ago </li></ul> </li> <li id="Discussion_11619" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/11619/laxidempotent-2monad/#Item_0">lax-idempotent 2-monad</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/11619/laxidempotent-2monad/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/17/">John Baez</a> </li> <li class="DiscussionComments"> <span>Comments </span>7 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/11619/laxidempotent-2monad/#Item_7">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/11619/laxidempotent-2monad/#Item_7">Last Active</a> </span>17 hours ago </li></ul> </li> <li id="Discussion_19017" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19017/plat-closure/#Item_0">plat closure</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19017/plat-closure/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19017/plat-closure/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19017/plat-closure/#Item_1">Last Active</a> </span>17 hours ago </li></ul> </li> <li id="Discussion_16214" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/16214/gregory-taroyan/#Item_0">Gregory Taroyan</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/16214/gregory-taroyan/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>2 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/16214/gregory-taroyan/#Item_2">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/16214/gregory-taroyan/#Item_2">Last Active</a> </span>17 hours ago </li></ul> </li> <li id="Discussion_19016" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19016/paul-melvin/#Item_0">Paul Melvin</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19016/paul-melvin/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19016/paul-melvin/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19016/paul-melvin/#Item_1">Last Active</a> </span>20 hours ago </li></ul> </li> <li id="Discussion_16210" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/16210/bireflective-subcategory/#Item_0">bireflective subcategory</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/16210/bireflective-subcategory/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>13 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/16210/bireflective-subcategory/#Item_13">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1786/">varkor</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/16210/bireflective-subcategory/#Item_13">Last Active</a> </span>21 hours ago </li></ul> </li> <li id="Discussion_8928" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/8928/charles-sanders-peirce/#Item_0">Charles Sanders Peirce</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/8928/charles-sanders-peirce/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionComments"> <span>Comments </span>5 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/8928/charles-sanders-peirce/#Item_5">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/8928/charles-sanders-peirce/#Item_5">Last Active</a> </span>21 hours ago </li></ul> </li> <li id="Discussion_16062" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/16062/tambarayamagami-category/#Item_0">Tambara-Yamagami category</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/16062/tambarayamagami-category/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionComments"> <span>Comments </span>6 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/16062/tambarayamagami-category/#Item_6">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/16062/tambarayamagami-category/#Item_6">Last Active</a> </span>22 hours ago </li></ul> </li> <li id="Discussion_12314" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/12314/quipper/#Item_0">Quipper</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/12314/quipper/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>13 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/12314/quipper/#Item_13">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/12314/quipper/#Item_13">Last Active</a> </span>1 day ago </li></ul> </li> <li id="Discussion_19005" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19005/a-trig-identity/#Item_0">a trig identity</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/15/">Mathematics, Physics &amp; Philosophy</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19005/a-trig-identity/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>8 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19005/a-trig-identity/#Item_8">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19005/a-trig-identity/#Item_8">Last Active</a> </span>1 day ago </li></ul> </li> <li id="Discussion_8432" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/8432/dbrane/#Item_0">D-brane</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/8432/dbrane/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>10 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/8432/dbrane/#Item_10">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/8432/dbrane/#Item_10">Last Active</a> </span>1 day ago </li></ul> </li> <li id="Discussion_9565" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/9565/category-of-cubes/#Item_0">category of cubes</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/9565/category-of-cubes/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/421/">Tim Campion</a> </li> <li class="DiscussionComments"> <span>Comments </span>24 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/9565/category-of-cubes/#Item_24">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/3667/">Evan Cavallo</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/9565/category-of-cubes/#Item_24">Last Active</a> </span>1 day ago </li></ul> </li> <li id="Discussion_2808" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/2808/quantum-mechanics/#Item_0">quantum mechanics</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/2808/quantum-mechanics/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>33 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/2808/quantum-mechanics/#Item_33">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/2808/quantum-mechanics/#Item_33">Last Active</a> </span>1 day ago </li></ul> </li> <li id="Discussion_3194" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/3194/idempotent-monad/#Item_0">idempotent monad</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/3194/idempotent-monad/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/24/">Todd_Trimble</a> </li> <li class="DiscussionComments"> <span>Comments </span>14 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/3194/idempotent-monad/#Item_14">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1923/">mattecapu</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/3194/idempotent-monad/#Item_14">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_16613" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/16613/locally-graded-category/#Item_0">locally graded category</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/16613/locally-graded-category/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/1786/">varkor</a> </li> <li class="DiscussionComments"> <span>Comments </span>5 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/16613/locally-graded-category/#Item_5">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1786/">varkor</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/16613/locally-graded-category/#Item_5">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_5982" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/5982/root-of-unity/#Item_0">root of unity</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/5982/root-of-unity/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>5 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/5982/root-of-unity/#Item_5">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/5982/root-of-unity/#Item_5">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_19015" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19015/irving-reiner/#Item_0">Irving Reiner</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19015/irving-reiner/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19015/irving-reiner/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19015/irving-reiner/#Item_1">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_19014" class="Discussion Unread NewComments NoReplies Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19014/charles-curtis/#Item_0">Charles Curtis</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19014/charles-curtis/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19014/charles-curtis/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19014/charles-curtis/#Item_1">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_5457" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/5457/representation-theory/#Item_0">representation theory</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/5457/representation-theory/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>15 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/5457/representation-theory/#Item_15">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/5457/representation-theory/#Item_15">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_2173" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/2173/bar-construction/#Item_0">bar construction</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/2173/bar-construction/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>21 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/2173/bar-construction/#Item_21">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/2173/bar-construction/#Item_21">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_9824" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/9824/quaternionic-projective-space/#Item_0">quaternionic projective space</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/9824/quaternionic-projective-space/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>5 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/9824/quaternionic-projective-space/#Item_5">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/9824/quaternionic-projective-space/#Item_5">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_18290" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/18290/e/#Item_0">E鈧佲個</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/18290/e/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/3214/">Samuel Adrian Antz</a> </li> <li class="DiscussionComments"> <span>Comments </span>5 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/18290/e/#Item_5">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/18290/e/#Item_5">Last Active</a> </span>2 days ago </li></ul> </li> <li id="Discussion_19013" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19013/twisted-complex/#Item_0">twisted complex</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19013/twisted-complex/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/6/">Tim_Porter</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19013/twisted-complex/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/6/">Tim_Porter</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19013/twisted-complex/#Item_1">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_12425" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/12425/universal-fibration-of-infinity1categories/#Item_0">universal fibration of (infinity,1)-categories</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/12425/universal-fibration-of-infinity1categories/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/1623/">Hurkyl</a> </li> <li class="DiscussionComments"> <span>Comments </span>12 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/12425/universal-fibration-of-infinity1categories/#Item_12">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1623/">Hurkyl</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/12425/universal-fibration-of-infinity1categories/#Item_12">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_11259" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/11259/weak-model-category/#Item_0">weak model category</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/11259/weak-model-category/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/356/">Dmitri Pavlov</a> </li> <li class="DiscussionComments"> <span>Comments </span>19 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/11259/weak-model-category/#Item_19">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/11259/weak-model-category/#Item_19">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_643" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/643/infinity1category/#Item_0">(infinity,1)-category</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/643/infinity1category/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>30 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/643/infinity1category/#Item_30">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/356/">Dmitri Pavlov</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/643/infinity1category/#Item_30">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_15032" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/15032/quantum-advantage/#Item_0">quantum advantage</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/15032/quantum-advantage/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>13 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/15032/quantum-advantage/#Item_13">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/15032/quantum-advantage/#Item_13">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_19012" class="Discussion Unread NewComments NoReplies Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19012/coupling-proof-assistants-with-machine-learning-references/#Item_0">coupling proof assistants with machine learning -- references</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19012/coupling-proof-assistants-with-machine-learning-references/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19012/coupling-proof-assistants-with-machine-learning-references/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19012/coupling-proof-assistants-with-machine-learning-references/#Item_1">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_5013" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/5013/proof-assistant/#Item_0">proof assistant</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/5013/proof-assistant/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>14 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/5013/proof-assistant/#Item_14">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/5013/proof-assistant/#Item_14">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_19011" class="Discussion Unread NewComments NoReplies Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19011/prevalence/#Item_0">prevalence</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19011/prevalence/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/356/">Dmitri Pavlov</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19011/prevalence/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/356/">Dmitri Pavlov</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19011/prevalence/#Item_1">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_9641" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/9641/compact-object/#Item_0">compact object</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/9641/compact-object/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/3/">Mike Shulman</a> </li> <li class="DiscussionComments"> <span>Comments </span>8 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/9641/compact-object/#Item_8">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/9641/compact-object/#Item_8">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_12976" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/12976/loop-braid-group/#Item_0">loop braid group</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/12976/loop-braid-group/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>10 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/12976/loop-braid-group/#Item_10">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/12976/loop-braid-group/#Item_10">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_19010" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19010/nathalie-wahl/#Item_0">Nathalie Wahl</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19010/nathalie-wahl/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19010/nathalie-wahl/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19010/nathalie-wahl/#Item_1">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_19008" class="Discussion Unread NewComments NoReplies Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19008/framed-braid-group/#Item_0">framed braid group</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19008/framed-braid-group/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19008/framed-braid-group/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19008/framed-braid-group/#Item_1">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_19007" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19007/ying-hong-tham/#Item_0">Ying Hong Tham</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19007/ying-hong-tham/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19007/ying-hong-tham/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19007/ying-hong-tham/#Item_1">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_1275" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/1275/conformal-field-theory/#Item_0">conformal field theory</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/1275/conformal-field-theory/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/57/">Tim_van_Beek</a> </li> <li class="DiscussionComments"> <span>Comments </span>47 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/1275/conformal-field-theory/#Item_47">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/1275/conformal-field-theory/#Item_47">Last Active</a> </span>3 days ago </li></ul> </li> <li id="Discussion_19006" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19006/craneyetter-model/#Item_0">Crane-Yetter model</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19006/craneyetter-model/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19006/craneyetter-model/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19006/craneyetter-model/#Item_1">Last Active</a> </span>4 days ago </li></ul> </li> <li id="Discussion_18756" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/18756/abelian-chernsimons-theory/#Item_0">abelian Chern-Simons theory</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/18756/abelian-chernsimons-theory/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>9 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/18756/abelian-chernsimons-theory/#Item_9">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/18756/abelian-chernsimons-theory/#Item_9">Last Active</a> </span>4 days ago </li></ul> </li> <li id="Discussion_1360" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/1360/path-space-object/#Item_0">path space object</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/1360/path-space-object/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>3 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/1360/path-space-object/#Item_3">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/1360/path-space-object/#Item_3">Last Active</a> </span>4 days ago </li></ul> </li> <li id="Discussion_4094" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/4094/abelian-category/#Item_0">abelian category</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/4094/abelian-category/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>12 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/4094/abelian-category/#Item_12">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/4094/abelian-category/#Item_12">Last Active</a> </span>5 days ago </li></ul> </li> <li id="Discussion_12355" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/12355/boolean-topos/#Item_0">Boolean topos</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/12355/boolean-topos/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/421/">Tim Campion</a> </li> <li class="DiscussionComments"> <span>Comments </span>4 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/12355/boolean-topos/#Item_4">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1786/">varkor</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/12355/boolean-topos/#Item_4">Last Active</a> </span>6 days ago </li></ul> </li> <li id="Discussion_12112" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/12112/number/#Item_0">number</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/12112/number/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/7/">TobyBartels</a> </li> <li class="DiscussionComments"> <span>Comments </span>4 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/12112/number/#Item_4">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/12112/number/#Item_4">Last Active</a> </span>6 days ago </li></ul> </li> <li id="Discussion_4842" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/4842/hopf-algebroid/#Item_0">Hopf algebroid</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/4842/hopf-algebroid/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>23 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/4842/hopf-algebroid/#Item_23">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/4842/hopf-algebroid/#Item_23">Last Active</a> </span>6 days ago </li></ul> </li> <li id="Discussion_18782" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/18782/integer-heisenberg-group/#Item_0">integer Heisenberg group</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/18782/integer-heisenberg-group/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>6 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/18782/integer-heisenberg-group/#Item_6">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/18782/integer-heisenberg-group/#Item_6">Last Active</a> </span>6 days ago </li></ul> </li> <li id="Discussion_13674" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/13674/goncalo-tabuada/#Item_0">Goncalo Tabuada</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/13674/goncalo-tabuada/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/6/">Tim_Porter</a> </li> <li class="DiscussionComments"> <span>Comments </span>3 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/13674/goncalo-tabuada/#Item_3">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/6/">Tim_Porter</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/13674/goncalo-tabuada/#Item_3">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_18992" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/18992/artin-induction-theorem/#Item_0">Artin induction theorem</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/18992/artin-induction-theorem/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/17/">John Baez</a> </li> <li class="DiscussionComments"> <span>Comments </span>4 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/18992/artin-induction-theorem/#Item_4">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/18992/artin-induction-theorem/#Item_4">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_10093" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/10093/sl2z/#Item_0">SL(2,Z)</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/10093/sl2z/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>4 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/10093/sl2z/#Item_4">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/10093/sl2z/#Item_4">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_7783" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/7783/arithmetic/#Item_0">arithmetic</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/7783/arithmetic/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>3 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/7783/arithmetic/#Item_3">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/7783/arithmetic/#Item_3">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_19003" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19003/modular-group/#Item_0">modular group</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19003/modular-group/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19003/modular-group/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19003/modular-group/#Item_1">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_6106" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/6106/modular-form/#Item_0">modular form</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/6106/modular-form/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>33 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/6106/modular-form/#Item_33">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/6106/modular-form/#Item_33">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_19002" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19002/dennis-johnson/#Item_0">Dennis Johnson</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19002/dennis-johnson/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19002/dennis-johnson/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19002/dennis-johnson/#Item_1">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_19001" class="Discussion Unread NewComments NoReplies Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19001/torelli-group/#Item_0">Torelli group</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19001/torelli-group/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19001/torelli-group/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19001/torelli-group/#Item_1">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_18385" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/18385/mapping-class-group/#Item_0">mapping class group</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/18385/mapping-class-group/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionComments"> <span>Comments </span>4 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/18385/mapping-class-group/#Item_4">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/18385/mapping-class-group/#Item_4">Last Active</a> </span>7 days ago </li></ul> </li> <li id="Discussion_9286" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/9286/knot/#Item_0">knot</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/9286/knot/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/10/">zskoda</a> </li> <li class="DiscussionComments"> <span>Comments </span>10 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/9286/knot/#Item_10">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/9286/knot/#Item_10">Last Active</a> </span>Mar 13th 2025 </li></ul> </li> <li id="Discussion_5557" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/5557/ikkt-matrix-model/#Item_0">IKKT matrix model</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/5557/ikkt-matrix-model/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>20 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/5557/ikkt-matrix-model/#Item_20">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/5557/ikkt-matrix-model/#Item_20">Last Active</a> </span>Mar 13th 2025 </li></ul> </li> <li id="Discussion_19000" class="Discussion Unread NewComments NoReplies Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/19000/invariant-theory/#Item_0">invariant theory</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/19000/invariant-theory/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/19000/invariant-theory/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/1691/">nLab edit announcer</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/19000/invariant-theory/#Item_1">Last Active</a> </span>Mar 12th 2025 </li></ul> </li> <li id="Discussion_18999" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/18999/shigeyuki-morita/#Item_0">Shigeyuki Morita</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/18999/shigeyuki-morita/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> <span>Comments </span>1 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/18999/shigeyuki-morita/#Item_1">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/18999/shigeyuki-morita/#Item_1">Last Active</a> </span>Mar 12th 2025 </li></ul> </li> <li id="Discussion_7650" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> <span>Discussion Type</span> </li> <li class="DiscussionTopic"> <span>discussion topic</span><a href="https://nforum.ncatlab.org/discussion/7650/differential-form/#Item_0">differential form</a> </li> <li class="DiscussionCategory"> <span>Category </span><a href="https://nforum.ncatlab.org/5/">Latest Changes</a> </li> <li class="DiscussionStarted"> <span><a href="https://nforum.ncatlab.org/discussion/7650/differential-form/#Item_1">Started by</a> </span><a href="https://nforum.ncatlab.org/account/42/">DavidRoberts</a> </li> <li class="DiscussionComments"> <span>Comments </span>6 </li> <li class="DiscussionLastComment"> <span><a href="https://nforum.ncatlab.org/discussion/7650/differential-form/#Item_6">Last comment by</a> </span><a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <span><a href="https://nforum.ncatlab.org/discussion/7650/differential-form/#Item_6">Last Active</a> </span>Mar 12th 2025 </li></ul> </li> </ol> </div><div class="ContentInfo Bottom"> <div class="PageInfo"> <p>1 to 60 of 18401</p> <ol class="PageList"> <li>&#60;</li> <li class="CurrentPage">1</li> <li><a href="https://nforum.ncatlab.org/discussions/2/">2</a></li> <li><a href="https://nforum.ncatlab.org/discussions/3/">3</a></li> <li><a href="https://nforum.ncatlab.org/discussions/4/">4</a></li> <li><a href="https://nforum.ncatlab.org/discussions/5/">5</a></li> <li><a href="https://nforum.ncatlab.org/discussions/6/">6</a></li> <li><a href="https://nforum.ncatlab.org/discussions/7/">7</a></li> <li><a href="https://nforum.ncatlab.org/discussions/8/">8</a></li> <li>...</li> <li><a href="https://nforum.ncatlab.org/discussions/307/">307</a></li> <li><a href="https://nforum.ncatlab.org/discussions/2/">&#62;</a></li> </ol> </div> <a id="TopOfPage" href="http://nforum.ncatlab.org/#pgtop">Top of Page</a> </div></div> <a id="pgbottom" >&#160;</a> </div> </div></body> </html>

Pages: 1 2 3 4 5 6 7 8 9 10